From 84022de89d2a8e3c3677fd045e8fa3b1617fb1a2 Mon Sep 17 00:00:00 2001
From: Vitor Santos Costa <vsc@dcc.fc.up.pt>
Date: Tue, 17 Nov 2009 00:32:38 +0000
Subject: [PATCH] disable creep when top-level starts: this prevents creeping
 after a top-level.

---
 pl/boot.yap | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/pl/boot.yap b/pl/boot.yap
index 30af14f6e..2515774f5 100644
--- 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'
 	 ).