Skip to content

S
stdpp
Commit 53e311e5 authored by Ralf Jung's avatar Ralf Jung
Browse files
Options

Merge branch 'fix-typo-instance-name' into 'master' 

Fix typo in instance name

See merge request !69
parents 7b7ee122 44318ed9
Pipeline #16770 passed with stage
    in 11 minutes and 10 seconds
    Hide whitespace changes
    Inline Side-by-side
    Showing with 1 addition and 1 deletion
    theories/strings.v
    View file @ 53e311e5
    ......@@ -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