From 231649d078eb6699d2d0ded4c52a5b6b18e20e1a Mon Sep 17 00:00:00 2001
From: Aleksei Babushkin <ocelaiwo@gmail.com>
Date: Thu, 12 Oct 2023 16:12:31 +0300
Subject: [PATCH] [fix] typo

---
 lib/Solver/MetaSMTBuilder.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/lib/Solver/MetaSMTBuilder.h b/lib/Solver/MetaSMTBuilder.h
index f9e85999156..69444027883 100644
--- 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(