diff options
| author | Jon French | 2018-10-16 14:50:44 +0100 |
|---|---|---|
| committer | Jon French | 2018-10-16 14:50:44 +0100 |
| commit | e7ca37271e187f36527a85bba31c60e0854bc8b7 (patch) | |
| tree | f7f17fcd02ca09cd834067382734ff26a5745022 /src/initial_check.ml | |
| parent | 8f1247b7542be467a89ca998f8f9c8b6739efc0d (diff) | |
rewrites: remove now-unnecessary temporary string hack from rewrite_defs_pat_lits
Diffstat (limited to 'src/initial_check.ml')
0 files changed, 0 insertions, 0 deletions