make sure to work even without system mode

This commit is contained in:
Vitor Santos Costa 2009-05-22 14:01:05 -05:00
parent 51e669dcfb
commit 8f019b22de
1 changed files with 1 additions and 1 deletions

View File

@ -206,7 +206,7 @@ use_module(M,F,Is) :-
'$do_lf'(ContextModule, Stream, InfLevel, _, Imports, SkipUnixComments, CompMode, Reconsult, UseModule) :-
nb_getval('$if_level',OldIncludeLevel),
nb_setval('$if_level',0),
nb_getval('$system_mode', OldMode),
( nb_getval('$system_mode', OldMode) -> true ; OldMode = off),
( OldMode == off -> '$enter_system_mode' ; true ),
'$record_loaded'(Stream, ContextModule),
'$current_module'(OldModule,ContextModule),