diff options
| -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. |