From c5426fb69d254e5b3d8c753d699e36b0e815c4d5 Mon Sep 17 00:00:00 2001
From: Martin Suda <sudam@cs.man.ac.uk>
Date: Mon, 20 Nov 2017 14:40:42 +0100
Subject: [PATCH] one more case

---
 Kernel/Theory.cpp | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/Kernel/Theory.cpp b/Kernel/Theory.cpp
index 2963dabe66..4d60e3fd59 100644
--- 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: