From 44318ed9a90a8492215b324c3f775ec91fcc33dc Mon Sep 17 00:00:00 2001
From: "Paolo G. Giarrusso" <p.giarrusso@gmail.com>
Date: Fri, 17 May 2019 12:24:15 +0200
Subject: [PATCH] Fix typo in instance name

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

diff --git a/theories/strings.v b/theories/strings.v
index 7c674d38..5c071374 100644
--- a/theories/strings.v
+++ b/theories/strings.v
@@ -17,7 +17,7 @@ Infix "+:+" := String.append (at level 60, right associativity) : stdpp_scope.
 Arguments String.append : simpl never.
 
 (** * Decision of equality *)
-Instance assci_eq_dec : EqDecision ascii := ascii_dec.
+Instance ascii_eq_dec : EqDecision ascii := ascii_dec.
 Instance string_eq_dec : EqDecision string.
 Proof. solve_decision. Defined.
 Instance string_app_inj : Inj (=) (=) (String.append s1).
-- 
GitLab