From 8b127d080f0cef4d57f9f4919bfce4300da6a7a3 Mon Sep 17 00:00:00 2001
From: logicmoo <logicmoo@gmail.com>
Date: Fri, 13 Dec 2024 05:29:09 -0800
Subject: [PATCH] a workarround related to the bug
 https://github.com/trueagi-io/metta-wam/issues/219

---
 prolog/metta_lang/stdlib_mettalog.metta | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/prolog/metta_lang/stdlib_mettalog.metta b/prolog/metta_lang/stdlib_mettalog.metta
index 7521e8043..3bfb94a1a 100644
--- a/prolog/metta_lang/stdlib_mettalog.metta
+++ b/prolog/metta_lang/stdlib_mettalog.metta
@@ -329,7 +329,9 @@ For example:
   (@params (
     (@param "Value to be returned")))
   (@return "Passed argument"))
-(: return (-> $t $t))
+; probably should be (: return (-> $t $t)) 
+(: return (-> Atom Atom))
+
 
 (iz function MinimalMeTTa)
 (@doc function