fix #6

yongweiy · May 13, 2024 · c2faa1c · c2faa1c
1 parent 4fd8789
commit c2faa1c
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/syntax/qualifier.ml b/syntax/qualifier.ml
@@ -28,6 +28,7 @@ module F (L : Lit.T) = struct
       match List.filter (fun p -> not (is_true p)) l with
       | [] -> mk_true
       | [ x ] -> x
+      | [ x; y ] when x = y -> x
       | l -> And l
 
   let smart_or l =