diff options
author | Michael Schmidt <github@mschmidt.me> | 2015-09-22 11:08:38 +0200 |
---|---|---|
committer | Michael Schmidt <github@mschmidt.me> | 2015-09-22 11:08:38 +0200 |
commit | a972e8ecbc011a48201279f446218676c15126ef (patch) | |
tree | 2201f0aba0802c089014db958dae0363862fa577 /cparser/Cutil.ml | |
parent | 4365eedb2d7529e670af2ef22e38da6bed38fd1a (diff) | |
download | compcert-a972e8ecbc011a48201279f446218676c15126ef.tar.gz compcert-a972e8ecbc011a48201279f446218676c15126ef.zip |
Fix typo dest -> dst
Diffstat (limited to 'cparser/Cutil.ml')
0 files changed, 0 insertions, 0 deletions