aboutsummaryrefslogtreecommitdiff
path: root/parsing
diff options
context:
space:
mode:
authorPierre-Marie Pédrot2018-11-04 17:46:43 +0100
committerPierre-Marie Pédrot2018-11-04 17:51:44 +0100
commitb255fe1699be4e5dc067c23c92239ad1c67424f9 (patch)
tree8b22d13909761c319a1c601625a1ab3bd4391011 /parsing
parent782736024e75a67c7dd1cbb7801b217f72f79fe5 (diff)
Remove the deprecated Token module and port the corresponding code.
Diffstat (limited to 'parsing')
-rw-r--r--parsing/cLexer.ml12
1 files changed, 6 insertions, 6 deletions
diff --git a/parsing/cLexer.ml b/parsing/cLexer.ml
index 2230dfc47c..619718f723 100644
--- a/parsing/cLexer.ml
+++ b/parsing/cLexer.ml
@@ -767,15 +767,15 @@ let func cs =
(ts, loct_func loct)
let lexer = {
- Token.tok_func = func;
- Token.tok_using =
+ Plexing.tok_func = func;
+ Plexing.tok_using =
(fun pat -> match Tok.of_pattern pat with
| KEYWORD s -> add_keyword s
| _ -> ());
- Token.tok_removing = (fun _ -> ());
- Token.tok_match = Tok.match_pattern;
- Token.tok_comm = None;
- Token.tok_text = token_text }
+ Plexing.tok_removing = (fun _ -> ());
+ Plexing.tok_match = Tok.match_pattern;
+ Plexing.tok_comm = None;
+ Plexing.tok_text = token_text }
(** Terminal symbols interpretation *)