diff options
Diffstat (limited to 'prettyprint.c')
| -rw-r--r-- | prettyprint.c | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/prettyprint.c b/prettyprint.c index 07db144..ce75371 100644 --- a/prettyprint.c +++ b/prettyprint.c @@ -31,11 +31,11 @@ prettyprint(Term *t, int quoted, int ignoreops, int numbervars) case VariableTerm: result = runesmprint("%S(%ulld)", t->text, t->clausenr); break; - case NumberTerm: - if(t->numbertype == NumberInt) - result = runesmprint("%lld", t->ival); - else - result = runesmprint("%f", t->dval); + case FloatTerm: + result = runesmprint("%f", t->dval); + break; + case IntegerTerm: + result = runesmprint("%lld", t->ival); break; default: result = runesmprint("cant print term with tag %d", t->tag); |