From bd72ec8f508a5dab433535373dd3a3d054a3a06a Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?V=C3=ADtor=20Santos=20Costa?= Date: Sun, 21 Feb 2016 19:09:25 +0000 Subject: [PATCH] typo --- pl/qly.yap | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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(_,'| '),