fix message display time

This commit is contained in:
Vítor Santos Costa 2014-10-05 23:58:19 +01:00
parent 733bb5ddc4
commit 3b5a093983

View File

@ -689,7 +689,6 @@ db_files(Fs) :-
'$q_do_save_file'(File, UserFile, ContextModule, TOpts ), '$q_do_save_file'(File, UserFile, ContextModule, TOpts ),
H is heapused-H0, '$cputime'(TF,_), T is TF-T0, H is heapused-H0, '$cputime'(TF,_), T is TF-T0,
'$current_module'(Mod, SourceModule), '$current_module'(Mod, SourceModule),
print_message(Verbosity, loaded(EndMsg, File, Mod, T, H)),
( (
Reconsult = reconsult -> Reconsult = reconsult ->
'$clear_reconsulting' '$clear_reconsulting'