-

rindPHI · Apr 15, 2024 · 48a05b4 · 48a05b4
1 parent 0ff1628
commit 48a05b4
Showing 1 changed file with 0 additions and 4 deletions.
diff --git a/src/isla/cli.py b/src/isla/cli.py
@@ -142,10 +142,6 @@ def solve(stdout, stderr, parser: ArgumentParser, args: Namespace):
         structural_predicates=structural_predicates,
     )
 
-    assert (
-        not args.activate_unsat_support
-    ), "UNSAT support is not yet supported by the RepairSolver"  # TODO
-
     solver = RepairSolver(
         grammar,
         constraint,