Merge branch 'feature/arg2p-integration' into feature/theory

tuProlog · Jun 20, 2020 · 5cf72be · 5cf72be
2 parents f338cd1 + 18860f0
commit 5cf72be
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/solve/src/commonMain/kotlin/it/unibo/tuprolog/solve/stdlib/primitive/Retract.kt b/solve/src/commonMain/kotlin/it/unibo/tuprolog/solve/stdlib/primitive/Retract.kt
@@ -27,7 +27,7 @@ object Retract : UnaryPredicate<ExecutionContext>("retract") {
                     break
                 }
             }
-            yield(replyFail())
+            yield(replyFail(dynamicKb = dynamicKb))
         }
     }
 }