diff --git a/pl/qly.yap b/pl/qly.yap index 7a4469974..8ffd4d225 100755 --- a/pl/qly.yap +++ b/pl/qly.yap @@ -323,7 +323,7 @@ qend_program :- '$init_from_saved_state_and_args' :- '$startup_goals', fail. -'$init_from_saved' :- +'$init_from_saved_state_and_args' :- recorded('$restore_goal',G,R), erase(R), prompt(_,'| '),