remove now unneeded check

2023-06-30 22:14:00 +02:00
parent caf84a259e
commit 31030738a4
1 changed files with 0 additions and 1 deletions
--- 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),