Skip to content
Snippets Groups Projects
Verified Commit 1bffd356 authored by Lennard Gäher's avatar Lennard Gäher
Browse files

restore blank

parent 5b4262a1
No related branches found
No related tags found
1 merge request!39lft is EqDecision and Countable
Hide whitespace changes
Inline Side-by-side
lifetime/model/definitions.v
+ 1
− 0
View file @ 1bffd356
......@@ -356,4 +356,5 @@ Proof. apply _. Qed.
Global Definition atomic_lft_inhabited : Inhabited atomic_lft := _.
Global Definition atomic_lft_eq_dec : EqDecision atomic_lft := _.
Global Definition atomic_lft_countable : Countable atomic_lft := _.
End basic_properties.
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment