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").

0 files changed, 0 insertions, 0 deletions