From e6ce8b1d6da2434232b86c7c115d7ed4961e7f5c Mon Sep 17 00:00:00 2001
From: Peter Mikkelsen <peter@pmikkelsen.com>
Date: Tue, 20 Jul 2021 18:05:21 +0000
Subject: Add op/3 and current_op/3

---
 parser.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'parser.c')

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");
 		}
-- 
cgit v1.2.3