remove now unneeded check

diff --git a/src/toplevel.pl b/src/toplevel.pl
index d9c1f5c4436fd18844bca606ab398830aea7b369..30de5227b128d6513c058b00a151785c64625789 100644 (file)
--- 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),