diff options
| author | Hugo Herbelin | 2016-04-10 17:04:44 +0200 |
|---|---|---|
| committer | Hugo Herbelin | 2016-06-16 17:30:17 +0200 |
| commit | a4ff40931201f91cde79c212a9d2cc19a62b8128 (patch) | |
| tree | e741a660a342c935d2cc81ef7db7f39dafa920e7 /kernel/type_errors.ml | |
| parent | 53e8a445177501846c75147680da03a95d5e9b5c (diff) | |
Protect the beautifier from change in the lexer state (typically by
calling Pcoq.parse_string, what some plugins such as coretactics, are
doing, thus breaking the beautification of "Declare ML Module").
Diffstat (limited to 'kernel/type_errors.ml')
0 files changed, 0 insertions, 0 deletions