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 /riscV/Conventions1.v | |
parent | 678b39097b51f8a1bd63138aff57295526047e5b (diff) | |
download | compcert-b5b368a37478de36929da9e1fa694f989d124764.tar.gz compcert-b5b368a37478de36929da9e1fa694f989d124764.zip |
Fix typo in pattern match of error case, bug 24326
Diffstat (limited to 'riscV/Conventions1.v')
0 files changed, 0 insertions, 0 deletions