diff options
| author | Pierre-Marie Pédrot | 2014-01-19 02:06:19 +0100 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2014-01-19 02:08:02 +0100 |
| commit | 029854c7f0c10caf0c26b1e3d73ae011c54ac80e (patch) | |
| tree | ee5ca59feaa7ea0c1ea3236ae96944d4b0f9d892 /plugins/syntax/string_syntax.ml | |
| parent | 05d5f8b9065b0f5e0349cf3d39dd62ab99f30369 (diff) | |
Fixing checker compilation, which was broken by the following commit:
05d5f8b9065b0f5e0349cf3d39dd62ab99f30369
Diffstat (limited to 'plugins/syntax/string_syntax.ml')
0 files changed, 0 insertions, 0 deletions