diff options
| author | Brian Campbell | 2018-07-02 13:00:58 +0100 |
|---|---|---|
| committer | Brian Campbell | 2018-07-02 18:49:29 +0100 |
| commit | e0059c15e282c98bc227962a1df6ae0ad34de477 (patch) | |
| tree | b7cecdb90c06d9567a70efbb27253330b8e09d10 /lib/main.ml | |
| parent | b89abf9c9e1a32892c14ab3c2e92656b1410ecac (diff) | |
Work around Coq issue with pattern binders
Diffstat (limited to 'lib/main.ml')
0 files changed, 0 insertions, 0 deletions