parse_eq: what if already parsed?

kw · Mar 24, 2024 · 0ea7049 · 0ea7049
1 parent 03747fb
commit 0ea7049
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/src/camp/engine/rules/base_models.py b/src/camp/engine/rules/base_models.py
@@ -330,6 +330,8 @@ def __repr__(self) -> str:
 
 
 def parse_req(req: Any) -> Requirement:
+    if isinstance(req, BoolExpr):
+        return req
     match req:
         case [*requirements]:
             return AllOf(all=[parse_req(r) for r in requirements])