From 929d7acb2d7395440effb8d8ff9fbec2ec166558 Mon Sep 17 00:00:00 2001 From: vsc Date: Thu, 18 Oct 2007 08:30:57 +0000 Subject: [PATCH] get rid of debug info. git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1963 b08c6af1-5177-4d33-ba66-4b1c6b8b522a --- pl/boot.yap | 2 -- 1 file changed, 2 deletions(-) diff --git a/pl/boot.yap b/pl/boot.yap index 628b2317e..481d611f9 100644 --- a/pl/boot.yap +++ b/pl/boot.yap @@ -292,10 +292,8 @@ true :- true. '$execute_command'((:-G),_,Option,_) :- !, '$current_module'(M), % allow user expansion -(G=constraints(_)->start_low_level_trace; true), expand_term((:- G), O), O = (:- G1), -stop_low_level_trace, '$process_directive'(G1, Option, M), fail. '$execute_command'((?-G),V,_,Source) :- !,