From c12439fe1e3fb93a77e42e97780544a92206e011 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Fri, 13 Oct 2017 07:29:16 -0700
Subject: [PATCH] fix #1306

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/sat/sat_solver.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/sat/sat_solver.cpp b/src/sat/sat_solver.cpp
index 8782cb462..03c17aaf0 100644
--- a/src/sat/sat_solver.cpp
+++ b/src/sat/sat_solver.cpp
@@ -726,7 +726,7 @@ namespace sat {
         SASSERT(scope_lvl() == 0);
         if (m_config.m_dimacs_display) {
             display_dimacs(std::cout);
-            for (unsigned i = 0; i < num_lits; ++lits) {
+            for (unsigned i = 0; i < num_lits; ++i) {
                 std::cout << dimacs_lit(lits[i]) << " 0\n";
             }
             return l_undef;