diff options
| author |  Jason Gross <jgross@mit.edu> | 2016-11-08 10:35:34 -0500 |
|---|---|---|
| committer | Jason Gross <jgross@mit.edu> | 2016-11-08 10:35:39 -0500 |
| commit | a933e352c5c3dbafaee4c739d1885747231c7634 (patch) | |
| tree | bcb5796803c49ffef19aab21de08599b8e3c1e71 /src/Util/Tuple.v | |
| parent | 420a7c968214a797141c03f1ec24b20100645b60 (diff) | |
Work around bug in 8.4
Diffstat (limited to 'src/Util/Tuple.v')
| -rw-r--r-- | src/Util/Tuple.v | 2 |
1 files changed, 1 insertions, 1 deletions
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. |