diff options
| author | Hugo Herbelin | 2016-04-16 16:18:11 +0200 |
|---|---|---|
| committer | Hugo Herbelin | 2016-04-27 21:55:47 +0200 |
| commit | fd8669f9f2e37607f5eba56ba25e267711876e62 (patch) | |
| tree | 50520ef2bce57adf1110a3600ad8c9bb6eba5fa3 /plugins/syntax/r_syntax_plugin.mllib | |
| parent | 0d56fda01ecf8b38ef5f9a1fd3552f025972fbcd (diff) | |
Revert "Protect printing of intro-patterns from collision when "[|" or
"|]"" because this commit triggers a
Error: Files proofs/proofs.cma(Miscprint)
and /usr/local/lib/ocaml/compiler-libs/ocamlcommon.cma(Lexer)
make inconsistent assumptions over interface Lexer
Adding two extra spaces systematically instead.
This reverts commit 72be1f6beafafc3edd30df673fbb6c7e88f8fac7.
Diffstat (limited to 'plugins/syntax/r_syntax_plugin.mllib')
0 files changed, 0 insertions, 0 deletions