From 8b171db743f6a3944c85b4594aa4475ebd8507f5 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?V=C3=ADtor=20Santos=20de=20Costa?= <vsc@ubuntu.(none)>
Date: Wed, 8 Oct 2008 13:43:33 +0100
Subject: [PATCH] fix notrace so that it will not call goal_expansion and
 friends.

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

diff --git a/pl/boot.yap b/pl/boot.yap
index 7cd41576f..78a6ec73d 100644
--- a/pl/boot.yap
+++ b/pl/boot.yap
@@ -1173,8 +1173,8 @@ throw(Ball) :-
 %
 % just leave this around to show  the debugger.
 %
-'$notrace'(G) :-
-	'$execute'(G).
+'$notrace'(M:G) :-
+	'$execute0'(G, M).
 
-'$oncenotrace'(G) :-
-	'$execute'(G), !.
+'$oncenotrace'(M:G) :-
+	'$execute0'(G, M), !.