From 53ed1bb862cf7b1fd70eb71bf7e236895b01d35c Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Mon, 6 Nov 2017 02:05:00 -0800
Subject: [PATCH] fix segfault reported as part of #1241

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/smt/theory_diff_logic_def.h | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/src/smt/theory_diff_logic_def.h b/src/smt/theory_diff_logic_def.h
index 203dd24d2..59f5521c5 100644
--- a/src/smt/theory_diff_logic_def.h
+++ b/src/smt/theory_diff_logic_def.h
@@ -683,7 +683,9 @@ void theory_diff_logic<Ext>::set_neg_cycle_conflict() {
     vector<parameter> params;
     if (get_manager().proofs_enabled()) {
         params.push_back(parameter(symbol("farkas")));
-        params.resize(lits.size()+1, parameter(rational(1)));
+        for (unsigned i = 0; i <= lits.size(); ++i) {
+            params.push_back(parameter(rational(1)));
+        }
     } 
    
     ctx.set_conflict(