diff options
author | Shawn O. Pearce <sop@google.com> | 2011-06-17 11:25:57 -0700 |
---|---|---|
committer | Shawn O. Pearce <sop@google.com> | 2011-06-17 12:40:28 -0700 |
commit | 6a2c73d3107b63d3469bd434e88e4b8d65c44812 (patch) | |
tree | 3a492087d04fbcb2fd7827d3636d0def19e995f1 | |
parent | 12896d16ce1007165528a0ff55aac93163695822 (diff) | |
download | prolog-cafe-6a2c73d3107b63d3469bd434e88e4b8d65c44812.tar.gz |
Fix consult/1 to report loading time to current output
A misplaced '.' prevented all parts of the predicate from going
together into a single sequence of steps.
-rw-r--r-- | src/builtin/builtins.pl | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/builtin/builtins.pl b/src/builtin/builtins.pl index 1fa2405..f0e3178 100644 --- a/src/builtin/builtins.pl +++ b/src/builtin/builtins.pl @@ -2064,8 +2064,8 @@ consult(File) :- atom(File), !, '$consult'(File). print_message(info, [consulting,File,'...']), statistics(runtime, _), consult_stream(File, In), - statistics(runtime, [_,T]). - print_message(info, [File,'consulted,',T,msec]), + statistics(runtime, [_,T]), + print_message(info, [File,consulted,T,msec]), close(In). consult_stream(File, In) :- |