remove debugging message
This commit is contained in:
parent
719089b96b
commit
a3667150d3
@ -631,7 +631,6 @@ abolish_module(_).
|
|||||||
'$load_files'(File, [if(not_loaded),imports([])], Goal),
|
'$load_files'(File, [if(not_loaded),imports([])], Goal),
|
||||||
recorded('$module', '$module'(FullFile, Mod, Exports),_),
|
recorded('$module', '$module'(FullFile, Mod, Exports),_),
|
||||||
atom_concat(File, _, FullFile), !,
|
atom_concat(File, _, FullFile), !,
|
||||||
(recorded('$import','$import'(Mod,Module,G,G1,N0,K0),_), writeln('$import'(Mod,Module,G,G1,N0,K0)), fail; true),
|
|
||||||
'$convert_for_reexport'(Spec, Exports, Tab, MyExports, Goal),
|
'$convert_for_reexport'(Spec, Exports, Tab, MyExports, Goal),
|
||||||
'$add_to_imports'(Tab, Module, Mod),
|
'$add_to_imports'(Tab, Module, Mod),
|
||||||
recorded('$lf_loaded','$lf_loaded'(TopFile,TopModule,_,_),_),
|
recorded('$lf_loaded','$lf_loaded'(TopFile,TopModule,_,_),_),
|
||||||
|
Reference in New Issue
Block a user