removing a TODO that is TODONE

aaw · Jan 18, 2025 · 8a638d6 · 8a638d6
1 parent bb29f79
commit 8a638d6
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/cnfc/model.py b/cnfc/model.py
@@ -612,7 +612,6 @@ def If(arg1, arg2, arg3=None):
             return TupleTernaryExpr(arg1, arg2, arg3)
         elif isinstance(arg2, BoolExpr) and isinstance(arg3, BoolExpr):
             return BooleanTernaryExpr(arg1, arg2, arg3)
-        # TODO: support NumExpr?
     raise ValueError("Unsupported form of If.")
 
 # TODO: implement canonical_form method for all Exprs so we can cache them correctly.