From a933e352c5c3dbafaee4c739d1885747231c7634 Mon Sep 17 00:00:00 2001
From: Jason Gross <jgross@mit.edu>
Date: Tue, 8 Nov 2016 10:35:34 -0500
Subject: Work around bug in 8.4

---
 src/Util/Tuple.v | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/Util/Tuple.v')

diff --git a/src/Util/Tuple.v b/src/Util/Tuple.v
index 124ee1bf1..21abfed3a 100644
--- a/src/Util/Tuple.v
+++ b/src/Util/Tuple.v
@@ -256,7 +256,7 @@ Proof.
                | progress simpl in *
                | progress specialize_by exact eq_refl
                | reflexivity
-               | apply conj
+               | split
                | intro ].
 Qed.
 
-- 
cgit v1.2.3