fix derived type checker

ctlab · Dec 5, 2023 · 6575d58 · 6575d58
1 parent 67c2e9d
commit 6575d58
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/lib_satprob/derived.py b/lib_satprob/derived.py
@@ -9,12 +9,12 @@
     pass
 
 
-def to_dnf_var(lit: int) -> Variable:
+def to_dnf_var(lit: int) -> 'Variable':
     var = exprvar('x', abs(lit))
     return var if lit > 0 else ~var
 
 
-def to_dnf_clause(cube: Supplements) -> AndOp:
+def to_dnf_clause(cube: Supplements) -> 'AndOp':
     return And(*map(to_dnf_var, cube[0]))