From 661f6dfc01d74b977a46ebb27198b56d3e57e8a8 Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Wed, 23 Mar 2016 17:51:59 +0100
Subject: [PATCH] fix a typo

---
 theories/collections.v | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/theories/collections.v b/theories/collections.v
index a4d6a235..da7ecf8d 100644
--- a/theories/collections.v
+++ b/theories/collections.v
@@ -63,7 +63,7 @@ Section simple_collection.
   Global Instance elem_of_proper :
     Proper ((=) ==> (≡) ==> iff) (@elem_of A C _) | 5.
   Proof. intros ???; subst. firstorder. Qed.
-  Global Instance disjoint_prope : Proper ((≡) ==> (≡) ==> iff) (@disjoint C _).
+  Global Instance disjoint_proper: Proper ((≡) ==> (≡) ==> iff) (@disjoint C _).
   Proof. intros ??????. by rewrite !elem_of_disjoint; setoid_subst. Qed.
   Lemma elem_of_union_list Xs x : x ∈ ⋃ Xs ↔ ∃ X, X ∈ Xs ∧ x ∈ X.
   Proof.
-- 
GitLab