tracking + flags

This commit is contained in:
Vítor Santos Costa 2015-06-19 01:09:54 +01:00
parent e8e33e405a
commit c3487d0fc0

View File

@ -446,7 +446,6 @@ true :- true.
'$read_toplevel'(Goal, Bindings) :-
prompt1('?- '),
prompt(_,'|: '),
'$system_catch'('$raw_read'(user_input, Line), prolog, E,
(print_message(error, E),
'$handle_toplevel_error'(Line, E))),
(