diff options
| author | Pierre-Marie Pédrot | 2016-06-19 01:26:16 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2016-06-19 01:26:16 +0200 |
| commit | 37ab4ffd30ea794a9769cebd33cf954f6c2e8070 (patch) | |
| tree | 2ab0dfe0cbbf159194821ea194ebd55c8af83c14 /plugins/syntax/string_syntax.ml | |
| parent | b2495b2326083776f9b15355acac77cde73545e1 (diff) | |
Fix bug #4836: Anomaly: Uncaught exception Invalid_argument.
Diffstat (limited to 'plugins/syntax/string_syntax.ml')
0 files changed, 0 insertions, 0 deletions