Commit 1ec2a309 authored by Robbert Krebbers's avatar Robbert Krebbers

Fix another typo.

parent 1ad44fff
...@@ -65,7 +65,7 @@ Section mixin. ...@@ -65,7 +65,7 @@ Section mixin.
}. }.
End mixin. End mixin.
(** Bundeled version *) (** Bundled version *)
Structure cmraT := CmraT' { Structure cmraT := CmraT' {
cmra_car :> Type; cmra_car :> Type;
cmra_equiv : Equiv cmra_car; cmra_equiv : Equiv cmra_car;
......
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