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;