disable creep when top-level starts: this prevents creeping after a top-level.

2009-11-17 00:32:38 +00:00 · 2009-11-17 00:32:38 +00:00 · 84022de89d
commit 84022de89d
parent b56894e0d5
1 changed files with 2 additions and 0 deletions
--- a/pl/boot.yap
+++ b/pl/boot.yap
@ -163,6 +163,7 @@ true :- true.
 	'$run_atom_goal'(GA),
 	set_value('$live','$false').
 '$enter_top_level' :-
+	'$disable_docreep',
 	prompt(_,'   ?- '),
 	prompt('   | '),
 	'$run_toplevel_hooks',
@ -485,6 +486,7 @@ true :- true.
 	   '$another',
 	   !, fail
 	 ;
+	   '$disable_do_creep',
 	   '$enter_system_mode',
           '$out_neg_answer'
 	 ).