a workarround related to the bug trueagi-io/metta-wam#219

logicmoo · Dec 13, 2024 · 8b127d0 · 8b127d0
1 parent 82f4e9c
commit 8b127d0
Showing 1 changed file with 3 additions and 1 deletion.
diff --git 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