fix clpfd back to use exceptions.

2010-03-01 22:32:59 +00:00 · 2010-03-01 22:32:59 +00:00 · 192aa92b9c
parent 233926ea00
commit 192aa92b9c
1 changed files with 0 additions and 5 deletions
--- a/library/clp/clpfd.pl
+++ b/library/clp/clpfd.pl
@ -5887,11 +5887,6 @@ make_clpfd_var('$clpfd_queue_status') :-
 user:exception(undefined_global_variable, Name, retry) :-
        make_clpfd_var(Name), !.

-warn_if_bounded_arithmetic :-
-	make_queue,
-	enable_queue,
-	nb_setval('$clpfd_current_propagator', []),
-	fail.
 warn_if_bounded_arithmetic :-
        (   current_prolog_flag(bounded, true) ->
            print_message(warning, clpfd(bounded))