This commit is contained in:
Vítor Santos Costa 2016-02-21 19:09:25 +00:00
parent f017f38dee
commit bd72ec8f50

View File

@ -323,7 +323,7 @@ qend_program :-
'$init_from_saved_state_and_args' :- '$init_from_saved_state_and_args' :-
'$startup_goals', '$startup_goals',
fail. fail.
'$init_from_saved' :- '$init_from_saved_state_and_args' :-
recorded('$restore_goal',G,R), recorded('$restore_goal',G,R),
erase(R), erase(R),
prompt(_,'| '), prompt(_,'| '),