From 6e0af6ef491616b430a419b08ae3f2b6137a8881 Mon Sep 17 00:00:00 2001
From: Tuowen Zhao <ztuowen@gmail.com>
Date: Tue, 11 Oct 2016 17:49:01 -0600
Subject: fixes

---
 src/omegatools.cc | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'src/omegatools.cc')

diff --git a/src/omegatools.cc b/src/omegatools.cc
index 36b0e8d..6d48a3c 100644
--- a/src/omegatools.cc
+++ b/src/omegatools.cc
@@ -1072,11 +1072,13 @@ void exp2constraint(IR_Code *ir, Relation &r, F_And *f_root,
       F_And *fa = f_root->add_not()->add_and();
       std::vector<omega::CG_outputRepr *> op = ir->QueryExpOperand(repr);
       exp2constraint(ir, r, fa, freevars, op[0], false, uninterpreted_symbols, uninterpreted_symbols_stringrepr);
+      break;
     }
     case IR_COND_AND: {
       std::vector<omega::CG_outputRepr *> op = ir->QueryExpOperand(repr);
       exp2constraint(ir, r, f_root, freevars, op[0], false, uninterpreted_symbols, uninterpreted_symbols_stringrepr);
       exp2constraint(ir, r, f_root, freevars, op[1], false, uninterpreted_symbols, uninterpreted_symbols_stringrepr);
+      break;
     }
     case IR_COND_OR: {
       F_Or *f_or = f_root->add_or();
-- 
cgit v1.2.3-70-g09d2