From e860bd7ee126c387fcd26a49dbf61afdc9e17c67 Mon Sep 17 00:00:00 2001
From: Vitor Santos Costa <vsc@dcc.fc.up.pt>
Date: Mon, 18 Jan 2010 14:34:30 +0000
Subject: [PATCH] fix initialization/1 (obs from Paulo Moura).

---
 pl/consult.yap | 8 --------
 1 file changed, 8 deletions(-)

diff --git a/pl/consult.yap b/pl/consult.yap
index 23ed53377..1769a51d6 100644
--- a/pl/consult.yap
+++ b/pl/consult.yap
@@ -347,14 +347,6 @@ use_module(M,F,Is) :-
 % ignore for now.
 '$initialization'(G,restore).
 
-'$initialization'(G) :-
-	'$show_consult_level'(Level1),
-	% it will be done after we leave the current consult level.
-	Level is Level1-1,
-	recorda('$initialisation',do(Level,G),_),
-	fail.
-'$initialization'(_).
-
 '$exec_initialisation_goals' :-
 	nb_setval('$initialization_goals',on),
 	fail.