diff options
| author | Hugo Herbelin | 2014-12-24 17:50:13 +0100 |
|---|---|---|
| committer | Hugo Herbelin | 2014-12-30 15:57:45 +0100 |
| commit | 9cbe6fedf81f85430290ca690d8995f3694b59c3 (patch) | |
| tree | 9c7cfa0b202b72a920551e9ffdbf2c41f34b0261 /plugins/syntax/string_syntax_plugin.mllib | |
| parent | ee0aeee014f1111781c0e616c3f72243a03df1ea (diff) | |
Simplifying second_order_matching: no need to invert the linear
initial segment of the context of the evar.
Diffstat (limited to 'plugins/syntax/string_syntax_plugin.mllib')
0 files changed, 0 insertions, 0 deletions