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))