Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
POTTIER Francois
menhir
Repository
107930495476a06d3f8ad272a17076f93bd31e51
Switch branch/tag
menhir
src
invariant.ml
Find file
Blame
History
Permalink
Remove a call to [Error.errors()] at the end of [Invariant],
· 10793049
POTTIER Francois
authored
Apr 06, 2017
which I think was useless.
10793049