[fix] typo

UnitTestBot · Oct 12, 2023 · 231649d · 231649d
1 parent b0648e1
commit 231649d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/lib/Solver/MetaSMTBuilder.h b/lib/Solver/MetaSMTBuilder.h
@@ -229,7 +229,7 @@ MetaSMTBuilder<SolverContext>::getInitialArray(const Array *root) {
     if (ref<ConstantSource> constantSource =
             dyn_cast<ConstantSource>(root->source)) {
       auto constantSize = cast<ConstantExpr>(root->size)->getZExtValue();
-      for (unsigned i = 0, i < constantSize; ++i) {
+      for (unsigned i = 0; i < constantSize; ++i) {
         typename SolverContext::result_type tmp = evaluate(
             _solver,
             metaSMT::logic::Array::store(