Merge pull request #683 from trueagi-io/reduct

Fix type for add-reduct and fix doc for quote
trueagi-io · May 3, 2024 · 33392dc · 33392dc
2 parents 5cd8235 + d8f972a
commit 33392dc
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/lib/src/metta/runner/stdlib.metta b/lib/src/metta/runner/stdlib.metta
@@ -35,10 +35,10 @@
     (@param "Atomspace to add atom into")
     (@param "Atom to add")))
   (@return "Unit atom"))
-(: add-reduct (-> Space %Undefined% (->)))
-(= (add-reduct $dst $atom)  (add-atom $dst $atom))
+(: add-reduct (-> hyperon::space::DynSpace %Undefined% (->)))
+(= (add-reduct $dst $atom) (add-atom $dst $atom))
 
-(@doc add-reduct
+(@doc quote
   (@desc "Prevents atom from being reduced")
   (@params (
     (@param "Atom")))