diff --git a/pl/boot.yap b/pl/boot.yap
index 2515774f5..4b8de04a5 100644
--- a/pl/boot.yap
+++ b/pl/boot.yap
@@ -486,7 +486,6 @@ true :- true.
 	   '$another',
 	   !, fail
 	 ;
-	   '$disable_do_creep',
 	   '$enter_system_mode',
            '$out_neg_answer'
 	 ).