diff options
| author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-04-20 18:29:57 +0200 |
|---|---|---|
| committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-04-20 18:29:57 +0200 |
| commit | 4965352c558f8e030b3b968f98566f87ed6f0b8a (patch) | |
| tree | 9b36abcf08c6240b09b8ed8087301a8d93c2ba5d /runtime/mppa_k1c/i64_smod.c | |
| parent | c0449b50b6d461dbc431ee881ba3a35604961a42 (diff) | |
| download | compcert-kvx-4965352c558f8e030b3b968f98566f87ed6f0b8a.tar.gz compcert-kvx-4965352c558f8e030b3b968f98566f87ed6f0b8a.zip | |
do not print debug stuff
Diffstat (limited to 'runtime/mppa_k1c/i64_smod.c')
0 files changed, 0 insertions, 0 deletions