diff options
| author | Jacques-Henri Jourdan <jacques-henri.jourdan@normalesup.org> | 2018-06-03 18:26:33 +0200 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 2018-06-06 17:18:18 +0200 |
| commit | b8552c55a3c65a3f598d155aeb764e68841ba501 (patch) | |
| tree | bfedb4c0fd97bceb9dd76490913d5049c032be07 /VERSION | |
| parent | da76ba512d1efbae8ab5ebcb79eb58c0085a026b (diff) | |
| download | compcert-b8552c55a3c65a3f598d155aeb764e68841ba501.tar.gz compcert-b8552c55a3c65a3f598d155aeb764e68841ba501.zip | |
Fix menhirLib namespaces, following changes in Menhir version 20180530
Diffstat (limited to 'VERSION')
0 files changed, 0 insertions, 0 deletions