diff --git a/solve/src/commonMain/kotlin/it/unibo/tuprolog/solve/ExecutionContext.kt b/solve/src/commonMain/kotlin/it/unibo/tuprolog/solve/ExecutionContext.kt
index 344a457cc..0a0f76c05 100644
--- a/solve/src/commonMain/kotlin/it/unibo/tuprolog/solve/ExecutionContext.kt
+++ b/solve/src/commonMain/kotlin/it/unibo/tuprolog/solve/ExecutionContext.kt
@@ -79,7 +79,7 @@ interface ExecutionContext : ExecutionContextAware {
                     staticKb = staticKb.retract(sideEffect.clauses).theory
                 }
                 is SideEffect.RemoveDynamicClauses -> {
-                    staticKb = staticKb.retract(sideEffect.clauses).theory
+                    dynamicKb = dynamicKb.retract(sideEffect.clauses).theory
                 }
                 is SideEffect.SetFlags -> {
                     flags = flags + sideEffect.flags