one more case

ModelWriter · Nov 20, 2017 · c5426fb · c5426fb
1 parent b1eaec2
commit c5426fb
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/Kernel/Theory.cpp b/Kernel/Theory.cpp
@@ -729,6 +729,8 @@ bool Theory::isFunction(Interpretation i)
 
     return true;
 
+  case EQUAL:
+
   case INT_GREATER:
   case INT_GREATER_EQUAL:
   case INT_LESS: