get rid of debug info.
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1963 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
This commit is contained in:
parent
c625347697
commit
929d7acb2d
@ -292,10 +292,8 @@ true :- true.
|
|||||||
'$execute_command'((:-G),_,Option,_) :- !,
|
'$execute_command'((:-G),_,Option,_) :- !,
|
||||||
'$current_module'(M),
|
'$current_module'(M),
|
||||||
% allow user expansion
|
% allow user expansion
|
||||||
(G=constraints(_)->start_low_level_trace; true),
|
|
||||||
expand_term((:- G), O),
|
expand_term((:- G), O),
|
||||||
O = (:- G1),
|
O = (:- G1),
|
||||||
stop_low_level_trace,
|
|
||||||
'$process_directive'(G1, Option, M),
|
'$process_directive'(G1, Option, M),
|
||||||
fail.
|
fail.
|
||||||
'$execute_command'((?-G),V,_,Source) :- !,
|
'$execute_command'((?-G),V,_,Source) :- !,
|
||||||
|
Reference in New Issue
Block a user