diff options
author | nicolas.nardino <nicolas.nardino@ens-lyon.fr> | 2021-06-06 12:11:15 +0200 |
---|---|---|
committer | nicolas.nardino <nicolas.nardino@ens-lyon.fr> | 2021-06-06 12:11:15 +0200 |
commit | 9118878bd14e24cc04c2f36cab7aa7271a0f1852 (patch) | |
tree | f7a6f1a32fc6bab218892e18f38a887fe6a84db9 /lib/Coqlib.v | |
parent | 599823a6410f1629f2b8704291839e0974bce83b (diff) | |
download | compcert-kvx-9118878bd14e24cc04c2f36cab7aa7271a0f1852.tar.gz compcert-kvx-9118878bd14e24cc04c2f36cab7aa7271a0f1852.zip |
Fixing scope error, and non-exhaustive pattern matching
Diffstat (limited to 'lib/Coqlib.v')
0 files changed, 0 insertions, 0 deletions