From 18860f063bd9a3e38e83a35b4bcfb355b19d1f28 Mon Sep 17 00:00:00 2001
From: Giovanni Ciatto <giovanni.ciatto@unibo.it>
Date: Sat, 20 Jun 2020 17:06:05 +0200
Subject: [PATCH] actually fix #89

---
 .../kotlin/it/unibo/tuprolog/solve/stdlib/primitive/Retract.kt  | 2 +-
 1 file changed, 1 insertion(+), 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
index 64a1c6f21..68b04c369 100644
--- 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
@@ -29,7 +29,7 @@ object Retract : UnaryPredicate<ExecutionContext>("retract") {
                     break
                 }
             }
-            yield(replyFail())
+            yield(replyFail(dynamicKb = dynamicKb))
         }
     }
 }
\ No newline at end of file