Skip to content
Snippets Groups Projects
user avatar
Maxime Dénès authored
This was a noop and will soon be an error (until `Inductive` properly
supports locality attributes). See https://github.com/coq/coq/pull/9410
b81d90d8
History
Name Last commit Last update