Commit 44318ed9 authored by Paolo G. Giarrusso's avatar Paolo G. Giarrusso

Fix typo in instance name

parent 7b7ee122
......@@ -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).
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment