diff options
| author | Gaëtan Gilbert | 2018-03-04 00:59:00 +0100 |
|---|---|---|
| committer | Gaëtan Gilbert | 2018-04-13 14:10:04 +0200 |
| commit | fc4dd229797ae341127ee615ec6201e953124727 (patch) | |
| tree | 5ff536d8ee877b9a27f5f8fbe2a1eb0d018ef3a8 /plugins/syntax/string_syntax.ml | |
| parent | 8e00ec838eadffb5c868fdbfa693471cdd80ef8c (diff) | |
univ minimization: rename acc' -> enforce_uppers
Diffstat (limited to 'plugins/syntax/string_syntax.ml')
0 files changed, 0 insertions, 0 deletions