aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorShawn O. Pearce <sop@google.com>2011-06-17 11:25:57 -0700
committerShawn O. Pearce <sop@google.com>2011-06-17 12:40:28 -0700
commit6a2c73d3107b63d3469bd434e88e4b8d65c44812 (patch)
tree3a492087d04fbcb2fd7827d3636d0def19e995f1
parent12896d16ce1007165528a0ff55aac93163695822 (diff)
downloadprolog-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.pl4
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) :-