removed import of deleted file

Theomat · Theomat · commit 7cf5dae3f7c2 · 2025-08-05T15:49:54.000+02:00
diff --git a/tests/pbe/solvers/test_restart_pbe_solver.py b/tests/pbe/solvers/test_restart_pbe_solver.py
@@ -12,7 +12,7 @@
     PrimitiveType,
 )
 from synth.syntax.type_helper import FunctionType
-from synth.pbe.solvers import NaivePBESolver, ObsEqPBESolver, CutoffPBESolver, PBESolver
+from synth.pbe.solvers import NaivePBESolver, CutoffPBESolver, PBESolver
 from synth.pbe.solvers.restart_pbe_solver import RestartPBESolver
 
 import pytest
@@ -38,7 +38,6 @@
 evaluator = DSLEvaluator(dsl.instantiate_semantics(semantics))
 testdata = [
     NaivePBESolver(evaluator),
-    ObsEqPBESolver(evaluator),
     CutoffPBESolver(evaluator),
 ]
 

Original file line number	Diff line number	Diff line change
`@@ -12,7 +12,7 @@`
`12`	`12`	`PrimitiveType,`
`13`	`13`	`)`
`14`	`14`	`from synth.syntax.type_helper import FunctionType`
`15`		`-from synth.pbe.solvers import NaivePBESolver, ObsEqPBESolver, CutoffPBESolver, PBESolver`
	`15`	`+from synth.pbe.solvers import NaivePBESolver, CutoffPBESolver, PBESolver`
`16`	`16`	`from synth.pbe.solvers.restart_pbe_solver import RestartPBESolver`
`17`	`17`
`18`	`18`	`import pytest`
`@@ -38,7 +38,6 @@`
`38`	`38`	`evaluator = DSLEvaluator(dsl.instantiate_semantics(semantics))`
`39`	`39`	`testdata = [`
`40`	`40`	`NaivePBESolver(evaluator),`
`41`		`- ObsEqPBESolver(evaluator),`
`42`	`41`	`CutoffPBESolver(evaluator),`
`43`	`42`	`]`
`44`	`43`