new rules for quoting symbols - for new equality

ModelWriter · Nov 16, 2017 · cdcffd9 · cdcffd9
1 parent 49b07b4
commit cdcffd9
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Kernel/Signature.cpp b/Kernel/Signature.cpp
@@ -908,7 +908,7 @@ bool Signature::symbolNeedsQuoting(vstring name, bool interpreted, unsigned arit
   CALL("Signature::symbolNeedsQuoting");
   ASS_G(name.length(),0);
 
-  if (interpreted && (name=="=" || arity==0)) {
+  if (name=="=" || (interpreted && arity==0)) {
     return false;
   }