Add op/3 and current_op/3

1 files changed, 1 insertions, 1 deletions

diff --git a/parser.c b/parser.c
index 0e7c967..8c4f0e9 100644
--- a/parser.c
+++ b/parser.c
@@ -281,7 +281,7 @@ parseoperators(Term *list)
 		if(index == -1){
 			print("Can't parse, list of length %d contains no operators: ", length);
 			for(i = 0; i < length; i++)
-				print("%S(%d) ", prettyprint(terms[i], 0, 0, 0, currentmod), infos[i].level);
+				print("%S(%d) ", prettyprint(terms[i], 0, 1, 0, currentmod), infos[i].level);
 			print("\n");
 			syntaxerror_parser("parseoperators");
 		}