diff options
author | Guillaume Melquiond <guillaume.melquiond@inria.fr> | 2016-06-23 10:30:04 +0200 |
---|---|---|
committer | Guillaume Melquiond <guillaume.melquiond@inria.fr> | 2016-06-23 10:30:04 +0200 |
commit | 4b4397e185cee54052819ad63bef3ecd56ba4512 (patch) | |
tree | 4812511b49ee1f4ac0402e6074dfd92b69298f5f /plugins/extraction/ExtrOcamlZInt.v | |
parent | 7ae226092719b26f71b675d6ceb211801349bc00 (diff) |
Fix typo.
Diffstat (limited to 'plugins/extraction/ExtrOcamlZInt.v')
0 files changed, 0 insertions, 0 deletions