diff options
author | Jacques-Henri Jourdan <jacques-henri.jourdan@inria.fr> | 2016-03-23 10:54:12 +0100 |
---|---|---|
committer | Jacques-Henri Jourdan <jacques-henri.jourdan@inria.fr> | 2016-03-23 10:54:12 +0100 |
commit | d0af92096242ff6e452c726d682295145189e848 (patch) | |
tree | 3c8f2643fe658a9126bdeae05324dc301e7321f7 /lib/Coqlib.v | |
parent | d25405f247b2b94527393eba4c79a56291a7fd80 (diff) | |
download | compcert-d0af92096242ff6e452c726d682295145189e848.tar.gz compcert-d0af92096242ff6e452c726d682295145189e848.zip |
Fix a bug in the pre-parser.
Diffstat (limited to 'lib/Coqlib.v')
0 files changed, 0 insertions, 0 deletions