From a5f8c720f49dc0bb8f7fff3c9648f387f4b919a7 Mon Sep 17 00:00:00 2001
From: Antoine Grimod <antoine.grimod@gmail.com>
Date: Mon, 9 Jan 2023 23:04:36 +0100
Subject: [PATCH] extended when once again

---
 src/passes.ml | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/src/passes.ml b/src/passes.ml
index fbcf885..8cb5d6f 100644
--- a/src/passes.ml
+++ b/src/passes.ml
@@ -1121,8 +1121,7 @@ let clock_unification_pass verbose debug ast =
     | EVar([TBool], var) -> acc, e
     | EConst([TBool], cons) -> acc, e
     | EMonOp([TBool], MOp_not, e) -> count_not e (acc + 1)
-    | EComp(_, _, e1, e2) -> acc, e
-    | _ -> raise (PassExn "count_not failure")
+    | _ -> acc, e
   in
 
   let verify_when e1 e2 =