Skip to content
Snippets Groups Projects
Commit b8596a8d authored by Michael Sammler's avatar Michael Sammler
Browse files

fix warning

parent bd4b5d0a
No related branches found
No related tags found
No related merge requests found
Pipeline #33511 passed
Stage: build
Hide whitespace changes
Inline Side-by-side
Showing
with 1 addition and 0 deletions
theories/lang/lang.v
+ 1
− 0
View file @ b8596a8d
......@@ -32,6 +32,7 @@ Arguments sizeof _ /.
Arguments ly_align : simpl never.
Definition loc : Set := Z * Z.
Declare Scope loc_scope.
Bind Scope loc_scope with loc.
Delimit Scope loc_scope with L.
Open Scope loc_scope.
......
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