diff options
Diffstat (limited to 'parser.c')
-rw-r--r-- | parser.c | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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"); } |