From 31030738a4d1d771757c64ea1fc99d8cd4b7c4fe Mon Sep 17 00:00:00 2001
From: Markus Triska <triska@metalevel.at>
Date: Fri, 30 Jun 2023 22:14:00 +0200
Subject: [PATCH] remove now unneeded check

---
 src/toplevel.pl | 1 -
 1 file changed, 1 deletion(-)

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),
-- 
2.54.0