From 7d37428f367e73bc762be49a2a3a1a48462db25e Mon Sep 17 00:00:00 2001
From: Vitor Santos Costa <vsc@dcc.fc.up.pt>
Date: Wed, 6 May 2009 09:33:13 -0500
Subject: [PATCH] fix reporting state of unknown flag (obs from Paulo Moura).

---
 pl/utils.yap | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/pl/utils.yap b/pl/utils.yap
index fd9f085d1..cef506031 100644
--- a/pl/utils.yap
+++ b/pl/utils.yap
@@ -372,8 +372,8 @@ unknown(V0,V) :-
 
 
 '$ask_unknown_flag'(Old) :-
-	recorded('$unknown','$unkonwn'(_,MyOld),_), !,
-	'$cleanup_unknwon_handler'(MyOld,Old).
+	recorded('$unknown','$unknown'(_,MyOld),_), !,
+	'$cleanup_unknown_handler'(MyOld,Old).
 '$ask_unknown_flag'(fail).
 
 '$cleanup_unknown_handler'('$unknown_error'(_),error) :- !.