diff options
| author | Jon French | 2018-10-22 15:55:59 +0100 |
|---|---|---|
| committer | Jon French | 2018-10-22 15:55:59 +0100 |
| commit | f8981e89ed59cef690a685293563a10f88bd4f05 (patch) | |
| tree | f38f15a8e0dfd19a8eb8b6225483e128a1a66a3d /riscv | |
| parent | 58c1292f2f5a54f069e00e4065c00936963db8cd (diff) | |
Pretty_print_lem.untuple_args_pat: temporary hack to allow functions that actually take a tuple argument
Diffstat (limited to 'riscv')
0 files changed, 0 insertions, 0 deletions