diff options
Diffstat (limited to 'prettyprint.c')
| -rw-r--r-- | prettyprint.c | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/prettyprint.c b/prettyprint.c index 499fc84..fb6bcb0 100644 --- a/prettyprint.c +++ b/prettyprint.c @@ -19,9 +19,11 @@ prettyprint(Term *t) free(args); break; case AtomTerm: - case VariableTerm: result = runesmprint("%S", t->text); break; + case VariableTerm: + result = runesmprint("%S(%ulld)", t->text, t->clausenr); + break; case NumberTerm: if(t->numbertype == NumberInt) result = runesmprint("%lld", t->ival); |