From edecd6cb20fa121f3bf4c8cd1c76e3ff8ec300ea Mon Sep 17 00:00:00 2001
From: Martin Suda <sudam@cs.man.ac.uk>
Date: Sun, 12 Nov 2017 13:55:41 +0100
Subject: [PATCH] haveInterpretingSymbol overload should be of bool return type

---
 Kernel/Signature.hpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Kernel/Signature.hpp b/Kernel/Signature.hpp
index f2f8e9128b..86b7915c49 100644
--- a/Kernel/Signature.hpp
+++ b/Kernel/Signature.hpp
@@ -371,7 +371,7 @@ class Signature
     CALL("Signature::haveInterpretingSymbol(Interpretation, OperatorType*)");
     return _iSymbols.find(std::make_pair(interp,type));
   }
-  unsigned haveInterpretingSymbol(Interpretation interp)
+  bool haveInterpretingSymbol(Interpretation interp)
   {
     CALL("Signature::haveInterpretingSymbol(Interpretation)");
     ASS(!Theory::isPolymorphic(interp));