diff --git a/test-solve/src/commonMain/kotlin/it/unibo/tuprolog/solve/DummyInstances.kt b/test-solve/src/commonMain/kotlin/it/unibo/tuprolog/solve/DummyInstances.kt
index 977997fdc..ffcc1d62a 100644
--- a/test-solve/src/commonMain/kotlin/it/unibo/tuprolog/solve/DummyInstances.kt
+++ b/test-solve/src/commonMain/kotlin/it/unibo/tuprolog/solve/DummyInstances.kt
@@ -43,5 +43,17 @@ object DummyInstances {
         ): Solver {
             throw NotImplementedError()
         }
+
+        override fun update(
+            libraries: Libraries,
+            flags: PrologFlags,
+            staticKb: Theory,
+            dynamicKb: Theory,
+            operators: OperatorSet,
+            inputChannels: PrologInputChannels<*>,
+            outputChannels: PrologOutputChannels<*>
+        ): ExecutionContext {
+            throw NotImplementedError()
+        }
     }
 }