diff options
| author | Alasdair Armstrong | 2018-07-10 15:48:17 +0100 |
|---|---|---|
| committer | Alasdair Armstrong | 2018-07-10 15:48:17 +0100 |
| commit | b34725b4d168984c505bb691735be96961499830 (patch) | |
| tree | 878ffb24e932e2ab2a942ecc6661e4848491cb4f /src/lem_interp/sail2_instr_kinds.lem | |
| parent | 88a9d6b1d884bd23c03c778faaa3580c4f284f2a (diff) | |
Only put static qualifier on valspecs when -static flag is used
Diffstat (limited to 'src/lem_interp/sail2_instr_kinds.lem')
0 files changed, 0 insertions, 0 deletions