Supress a test to check

Deducteam · Mar 1, 2024 · d7b587b · d7b587b
1 parent da8a3fa
commit d7b587b
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/tests/main.ml b/tests/main.ml
@@ -265,8 +265,7 @@ module Check = struct
       ko ~error:(`Code 101) ~basename:"untypable_lhs.dk" [];
       ko ~error:(`Code 306) ~basename:"pragma.dk" [];
       ko ~error:(`Code 704) ~basename:"opacity.dk" [];
-      ko ~error:(`Code 704) ~basename:"opacity2.dk" [];
-      ko ~error:(`Code 702) ~basename:"opaque_a.dk" []
+      ko ~error:(`Code 704) ~basename:"opacity2.dk" []
 
     module Acu = struct
       let ko ~error ~basename =