diff options
author | Cyril SIX <cyril.six@kalray.eu> | 2019-10-14 10:50:34 +0200 |
---|---|---|
committer | Cyril SIX <cyril.six@kalray.eu> | 2019-10-14 10:50:34 +0200 |
commit | c59a26be1b4ae5c0ecf963d0ff2436dc73e72123 (patch) | |
tree | 58060b4a1f54f2879aa967d1319783c9971bf3bd /cparser/Machine.ml | |
parent | 263a8d93cfabcec746c06d4abdcd06a0e8ec6d14 (diff) | |
download | compcert-kvx-c59a26be1b4ae5c0ecf963d0ff2436dc73e72123.tar.gz compcert-kvx-c59a26be1b4ae5c0ecf963d0ff2436dc73e72123.zip |
Explicitly naming SP_split_args for easier grepping
Diffstat (limited to 'cparser/Machine.ml')
0 files changed, 0 insertions, 0 deletions