diff options
| author |  Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr> | 2016-05-31 13:33:01 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr> | 2016-05-31 13:33:01 +0200 |
| commit | 27dffdea5b46f6282c1584db0555213e744352fa (patch) | |
| tree | 3f89cd9e8828f1ca1c8a1c10d74f020dcb7543f1 /toplevel/vernac.ml | |
| parent | cb31cd671a0ef4da0cf834dad5b67776098bb0d1 (diff) | |
Revert "Rename Lexer -> CLexer."
This reverts commit a66b57ba4bba866bb626bde2b6fe3b762347eb3e.
Diffstat (limited to 'toplevel/vernac.ml')
| -rw-r--r-- | toplevel/vernac.ml | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/toplevel/vernac.ml b/toplevel/vernac.ml index a5f502503..7c4920dfb 100644 --- a/toplevel/vernac.ml +++ b/toplevel/vernac.ml @@ -164,17 +164,17 @@ let save_translator_coqdoc () = (* translator state *) let ch = !chan_beautify in let cl = !Pp.comments in - let cs = CLexer.com_state() in + let cs = Lexer.com_state() in (* end translator state *) - let coqdocstate = CLexer.location_table () in + let coqdocstate = Lexer.location_table () in ch,cl,cs,coqdocstate let restore_translator_coqdoc (ch,cl,cs,coqdocstate) = if !Flags.beautify_file then close_out !chan_beautify; chan_beautify := ch; Pp.comments := cl; - CLexer.restore_com_state cs; - CLexer.restore_location_table coqdocstate + Lexer.restore_com_state cs; + Lexer.restore_location_table coqdocstate (* For coqtop -time, we display the position in the file, and a glimpse of the executed command *) |