diff options
| author | Michael Schmidt <github@mschmidt.me> | 2018-08-22 10:48:34 +0200 |
|---|---|---|
| committer | Michael Schmidt <github@mschmidt.me> | 2018-08-22 10:49:03 +0200 |
| commit | b5b368a37478de36929da9e1fa694f989d124764 (patch) | |
| tree | 35bfead98ed1adff924edc8b436efcd96c7e92a9 /cparser/Cutil.ml | |
| parent | 678b39097b51f8a1bd63138aff57295526047e5b (diff) | |
| download | compcert-kvx-b5b368a37478de36929da9e1fa694f989d124764.tar.gz compcert-kvx-b5b368a37478de36929da9e1fa694f989d124764.zip | |
Fix typo in pattern match of error case, bug 24326
Diffstat (limited to 'cparser/Cutil.ml')
0 files changed, 0 insertions, 0 deletions