From: Markus Triska <triska@metalevel.at>
Date: Fri, 30 Jun 2023 20:14:00 +0000 (+0200)
Subject: remove now unneeded check
X-Git-Tag: v0.9.2~98^2
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=31030738a4d1d771757c64ea1fc99d8cd4b7c4fe;p=scryer-prolog.git

remove now unneeded check
---

diff --git a/src/toplevel.pl b/src/toplevel.pl
index d9c1f5c4..30de5227 100644
--- a/src/toplevel.pl
+++ b/src/toplevel.pl
@@ -206,7 +206,6 @@ submit_query_and_print_results(Term, VarList) :-
 
 needs_bracketing(Value, Op) :-
     nonvar(Value),
-    \+ integer(Value),
     functor(Value, F, Arity),
     atom(F),
     current_op(FPrec, FSpec, F),