From bdcc02a5ea2d165c638d667978e8e2cf7462558a Mon Sep 17 00:00:00 2001 From: Peter Mikkelsen Date: Mon, 5 Jul 2021 16:59:06 +0000 Subject: Turn integers and floats into seperate term types --- prettyprint.c | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) (limited to 'prettyprint.c') 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); -- cgit v1.2.3