Merge pull request #1854 from triska/needs_bracketing

remove now unneeded check
2023-06-30 15:43:45 -06:00
parent caf84a259e 31030738a4
commit c38a26e6cd
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),