diff options
| author | Peter Mikkelsen <peter@pmikkelsen.com> | 2021-07-05 16:59:06 +0000 |
|---|---|---|
| committer | Peter Mikkelsen <peter@pmikkelsen.com> | 2021-07-05 16:59:06 +0000 |
| commit | bdcc02a5ea2d165c638d667978e8e2cf7462558a (patch) | |
| tree | d2fffbe7ee5f0c09c070f93204587d055d088b61 /prettyprint.c | |
| parent | 44ab8a339c78bcc3460d44b2f435116f21faa60a (diff) | |
Turn integers and floats into seperate term types
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); |