From a6f319a2f176fbde6020fc508bb0f319a0b225e5 Mon Sep 17 00:00:00 2001
From: Brian Campbell
Date: Tue, 29 May 2018 15:44:30 +0100
Subject: Coq: skip two tests with redundant pattern matches

---
 test/coq/skip | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'test/coq')

diff --git a/test/coq/skip b/test/coq/skip
index cf8a2362..e2a688d6 100644
--- a/test/coq/skip
+++ b/test/coq/skip
@@ -1,2 +1,5 @@
 XXXXX tests with full generic equality
 decode_patterns.sail
+XXXXX tests with deliberate redundant pattern match clause
+option_tuple.sail
+pat_completeness.sail
\ No newline at end of file
-- 
cgit v1.2.3