From 8345bf3e247be4023759e064fd88bbf4de370aec Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?V=C3=ADtor=20Santos=20Costa?= <vsc@dcc.fc.up.pt>
Date: Sun, 5 Oct 2014 10:20:36 +0100
Subject: [PATCH] ensure loading is recognised.

---
 pl/qly.yap | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/pl/qly.yap b/pl/qly.yap
index 662050cc7..77b6e65bb 100755
--- a/pl/qly.yap
+++ b/pl/qly.yap
@@ -738,8 +738,12 @@ qload_file( F0 ) :-
     '$exec_initialisation_goals'.
 
 '$qload_file'(S, SourceModule, F, FilePl, _F0, _ImportList) :-
-    recorded('$lf_loaded','$lf_loaded'( F, _Age, SourceModule), _),
+    recorded('$lf_loaded','$lf_loaded'( FilePl, _Age, SourceModule), _),
    !.
+'$qload_file'(S, SourceModule, F, FilePl, _F0, _ImportList) :-
+    ( FilePl == user_input -> Age = 0 ; time_file64(FilePl, Age) ),
+    recorda('$lf_loaded','$lf_loaded'( FilePl, Age, SourceModule), _),
+    fail.
 '$qload_file'(S, _SourceModule, _File, _FilePl, _F0, _ImportList) :-
     '$qload_file_preds'(S),
     fail.