diff options
| author | Jon French | 2018-08-31 16:31:23 +0100 |
|---|---|---|
| committer | Jon French | 2018-08-31 16:31:37 +0100 |
| commit | 2fc84fc03cf952feaf55b9b83c76e7fcf2cdc9ec (patch) | |
| tree | 2970e22f8cb3749755b46ccccaa291ef5fbd0af3 /lib/coq | |
| parent | dfeca84a20aa59b757e680a8099c7a3a8377aa76 (diff) | |
rewrite_defs_pat_string_append: only guard the innermost recursive pattern, and use the original ids rather than fresh ones; both to allow referring to matched ids in guards
Diffstat (limited to 'lib/coq')
0 files changed, 0 insertions, 0 deletions