diff options
| author | Tuowen Zhao <ztuowen@gmail.com> | 2016-10-11 17:49:01 -0600 |
|---|---|---|
| committer | Tuowen Zhao <ztuowen@gmail.com> | 2016-10-11 17:49:01 -0600 |
| commit | 6e0af6ef491616b430a419b08ae3f2b6137a8881 (patch) | |
| tree | 35b23dd6fbbd82d6dda9151efc6aba37cbbf196a /src/omegatools.cc | |
| parent | a78fdbc93fd8919aacf375cc4d40fdd46a9722a0 (diff) | |
| download | chill-6e0af6ef491616b430a419b08ae3f2b6137a8881.tar.gz chill-6e0af6ef491616b430a419b08ae3f2b6137a8881.tar.bz2 chill-6e0af6ef491616b430a419b08ae3f2b6137a8881.zip | |
fixes
Diffstat (limited to 'src/omegatools.cc')
| -rw-r--r-- | src/omegatools.cc | 2 |
1 files changed, 2 insertions, 0 deletions
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(); |