fix execution context in DummyInstances.kt

tuProlog · Jun 23, 2020 · 812c5b0 · 812c5b0
1 parent 5635a1a
commit 812c5b0
Showing 1 changed file with 12 additions and 0 deletions.
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
@@ -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()
+        }
     }
 }