diff options
| author | Matthieu Sozeau | 2014-11-17 17:26:49 +0100 |
|---|---|---|
| committer | Matthieu Sozeau | 2014-12-09 15:44:49 +0100 |
| commit | 745c4e69f5709cc56382b650bbb36b21d3ae0ede (patch) | |
| tree | 302d2e90b619751b7bcb715013ba3b03116ec8d3 /plugins/syntax/string_syntax.ml | |
| parent | af84e080ff674a3d5cf2cf88874ddb6ebaf38ecf (diff) | |
Setup hook to change the unification algorithm used by evarconv,
e.g. for MTac.
Diffstat (limited to 'plugins/syntax/string_syntax.ml')
0 files changed, 0 insertions, 0 deletions