From 192aa92b9cfd6e6099d300f69dc84648c0518658 Mon Sep 17 00:00:00 2001 From: Vitor Santos Costa Date: Mon, 1 Mar 2010 22:32:59 +0000 Subject: [PATCH] fix clpfd back to use exceptions. --- library/clp/clpfd.pl | 5 ----- 1 file changed, 5 deletions(-) diff --git a/library/clp/clpfd.pl b/library/clp/clpfd.pl index c01e81b44..5dbfc4512 100644 --- 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))