diff options
| author | Ralf Jung | 2017-02-14 12:36:15 +0100 |
|---|---|---|
| committer | Ralf Jung | 2017-02-16 16:47:12 +0100 |
| commit | 8ce49dd1b436a17c4ee29c2893133829daac75f0 (patch) | |
| tree | c5b53f5bf86ee07e53d43eec53099ba92ae19503 /plugins/syntax/string_syntax.ml | |
| parent | 55cb913f029308e97bd262fc18d4338f404e7561 (diff) | |
reject notations that are both 'only printing' and 'only parsing'
Diffstat (limited to 'plugins/syntax/string_syntax.ml')
0 files changed, 0 insertions, 0 deletions