From eadb00648127c9a535b533d51189dce41ef16db7 Mon Sep 17 00:00:00 2001
From: Pierre Roux
Date: Sun, 17 Feb 2019 10:10:22 +0100
Subject: Multiple payload types in tokens

Instead of just string (and empty strings for tokens without payload)
---
 printing/proof_diffs.ml | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

(limited to 'printing/proof_diffs.ml')

diff --git a/printing/proof_diffs.ml b/printing/proof_diffs.ml
index ab4501fe75..d042a1d650 100644
--- a/printing/proof_diffs.ml
+++ b/printing/proof_diffs.ml
@@ -102,8 +102,7 @@ let tokenize_string s =
   let st = CLexer.get_lexer_state () in
   try
     let istr = Stream.of_string s in
-    let lexer = CLexer.make_lexer ~diff_mode:true in
-    let lex = lexer.Gramlib.Plexing.tok_func istr in
+    let lex = CLexer.LexerDiff.tok_func istr in
     let toks = stream_tok [] (fst lex) in
     CLexer.set_lexer_state st;
     toks
-- 
cgit v1.2.3