diff options
| author | Jon French | 2018-04-30 11:16:15 +0100 |
|---|---|---|
| committer | Jon French | 2018-05-01 16:58:26 +0100 |
| commit | 5352660a3c171318f819ed2abf23e603c2be07b4 (patch) | |
| tree | d88a7352f1910df3a1b7419c2274374af177e7f5 /src/pattern_completeness.mli | |
| parent | 296c6cdf5b4b3bf0814b9000bf61597ac00e9165 (diff) | |
oops, not every pattern is in fact string_typ, remember to pass through the original type in rewrite_defs_pat_string_append when not doing anything
Diffstat (limited to 'src/pattern_completeness.mli')
0 files changed, 0 insertions, 0 deletions