diff options
| author | Jon French | 2018-05-18 13:48:43 +0100 |
|---|---|---|
| committer | Jon French | 2018-05-18 13:48:43 +0100 |
| commit | d229327f6e4214604e39b1ae6292cd0146a6093f (patch) | |
| tree | c5a27ffd25b34764ec8275f3c09a1ed83c64eb5e /src/gen_lib/sail_operators.lem | |
| parent | 60c205b66a2b884e12c6b766a4c18320e89394b9 (diff) | |
temporary HACK for aarch64: make rewrite_defs_pat_lits ignore strings
Diffstat (limited to 'src/gen_lib/sail_operators.lem')
0 files changed, 0 insertions, 0 deletions