fixed possible undefined variable assigment (#6985)

Z3Prover · Nov 10, 2023 · aa9c791 · aa9c791
1 parent 0556059
commit aa9c791
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/math/polynomial/polynomial.cpp b/src/math/polynomial/polynomial.cpp
@@ -5648,7 +5648,7 @@ namespace polynomial {
             unsigned d0 = 0;
             unsigned d1 = n1 - n2;
             unsigned i  = 1;
-            unsigned n3;
+            unsigned n3 = 0;
             S.reset();
             while (true) {
                 // Compute Gh_{i+2}