diff --git a/Kernel/Signature.cpp b/Kernel/Signature.cpp index 88a4581bce..d4bf336f38 100644 --- 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; }