diff options
Diffstat (limited to 'examples/nra-translate/smt2toqepcad.cpp')
-rw-r--r-- | examples/nra-translate/smt2toqepcad.cpp | 15 |
1 files changed, 8 insertions, 7 deletions
diff --git a/examples/nra-translate/smt2toqepcad.cpp b/examples/nra-translate/smt2toqepcad.cpp index 800c02164..30b0afbbb 100644 --- a/examples/nra-translate/smt2toqepcad.cpp +++ b/examples/nra-translate/smt2toqepcad.cpp @@ -219,14 +219,15 @@ void translate_to_qepcad(const std::map<Expr, unsigned>& variables, op = "==>"; binary = true; break; - case kind::IFF: - op = "<==>"; - binary = true; - break; case kind::EQUAL: - op = "="; - theory = true; - break; + if( assertion[0].getType().isBoolean() ){ + op = "<==>"; + binary = true; + }else{ + op = "="; + theory = true; + } + break; case kind::LT: op = "<"; theory = true; |