haveInterpretingSymbol overload should be of bool return type

ModelWriter · Nov 15, 2017 · edecd6c · edecd6c
1 parent 81ffc0e
commit edecd6c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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));