diff options
| author | Shaked Flur | 2017-11-23 13:32:42 +0000 |
|---|---|---|
| committer | Shaked Flur | 2017-11-23 13:32:42 +0000 |
| commit | 9ab1c6514c38968bcbdf5847ecb811072f731982 (patch) | |
| tree | bb3516c0f306d0944c835804cac301f12654e87b /src/reporting_basic.mli | |
| parent | 6b86efcb6e1042d4933b67eaf3a7b3eff1fac256 (diff) | |
added RISCV_ prefix to some values to stop Lem from renaming them
Diffstat (limited to 'src/reporting_basic.mli')
0 files changed, 0 insertions, 0 deletions