src/invariant.ml · 107930495476a06d3f8ad272a17076f93bd31e51 · POTTIER Francois / menhir · GitLab

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