Skip to content
Snippets Groups Projects
Commit 4bbb2d93 authored by David Swasey's avatar David Swasey
Browse files

Typo.

parent 33e32726
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 1 addition and 1 deletion
theories/algebra/sets.v
+ 1
− 1
View file @ 4bbb2d93
...@@ -11,7 +11,7 @@ Set Default Proof Using "Type". ...@@ -11,7 +11,7 @@ Set Default Proof Using "Type".
(** To define these CMRAs generically without breaking canonical (** To define these CMRAs generically without breaking canonical
structures, we bundle the (mainly) typeclass instances used by the structures, we bundle the (mainly) typeclass instances used by the
CMRAs into canonical structures. These TC instances are defined CMRAs into canonical structures. These TC instances are defined
elsewhere, so we keep our `typelcass_instances` hints `Local`. *) elsewhere, so we keep our `typeclass_instances` hints `Local`. *)
(** Union works with any [SemiSet]. *) (** Union works with any [SemiSet]. *)
Structure semi_setT := SemiSetT { Structure semi_setT := SemiSetT {
......
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