From b79a8854802336e9545ffd0c4c71167c8d87ce60 Mon Sep 17 00:00:00 2001
From: Vitor Santos Costa <vsc@dcc.fc.up.pt>
Date: Wed, 27 Jul 2011 16:49:43 +0100
Subject: [PATCH] fix prompt stuff.

---
 pl/boot.yap | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/pl/boot.yap b/pl/boot.yap
index 05ae93f8d..36c29462c 100755
--- a/pl/boot.yap
+++ b/pl/boot.yap
@@ -202,14 +202,16 @@ true :- true.
 '$enter_top_level' :-
 	get_value('$top_level_goal',GA), GA \= [], !,
 	set_value('$top_level_goal',[]),
+	format('hello1 ~w~n',[GA]),
 	'$run_atom_goal'(GA),
 	set_value('$live','$false').
 '$enter_top_level' :-
 	'$disable_docreep',
 	'$run_toplevel_hooks',
+	prompt1(' ?- '),
 	'$read_toplevel'(Command,Varnames),
 	nb_setval('$spy_gn',1),
-				% stop at spy-points if debugging is on.
+	% stop at spy-points if debugging is on.
 	nb_setval('$debug_run',off),
 	nb_setval('$debug_jump',off),
 	'$command'(Command,Varnames,_Pos,top),