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 /backend/PrintAsmaux.ml | |
| parent | 4365eedb2d7529e670af2ef22e38da6bed38fd1a (diff) | |
| download | compcert-a972e8ecbc011a48201279f446218676c15126ef.tar.gz compcert-a972e8ecbc011a48201279f446218676c15126ef.zip | |
Fix typo dest -> dst
Diffstat (limited to 'backend/PrintAsmaux.ml')
0 files changed, 0 insertions, 0 deletions