Skip to content
Snippets Groups Projects
Commit be5f96ef authored by Jacques-Henri Jourdan's avatar Jacques-Henri Jourdan
Browse files

Fix typo.

parent a25d9f57
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
theories/typing/unsafe/cell.v
+ 1
− 1
View file @ be5f96ef
......@@ -24,7 +24,7 @@ Section cell.
(* TODO: non-expansiveness, proper wrt. eqtype *)
Global Instance cell_type :
Global Instance cell_copy :
Copy ty → Copy (cell ty).
Proof.
intros ty Hcopy. split; first by intros; simpl; apply _.
......
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