From c00506b3fdde0ce4d2c0607dd097463de21301af Mon Sep 17 00:00:00 2001
From: Jim Fehrle
Date: Thu, 29 Nov 2018 20:17:22 -0800
Subject: For diffs, return exactly the characters that make up STRING and
 FIELD tokens

---
 printing/proof_diffs.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'printing')

diff --git a/printing/proof_diffs.ml b/printing/proof_diffs.ml
index 508e939df8..b5f9da30a3 100644
--- a/printing/proof_diffs.ml
+++ b/printing/proof_diffs.ml
@@ -83,7 +83,7 @@ let tokenize_string s =
     if Tok.(equal e EOI) then
       List.rev acc
     else
-      stream_tok ((Tok.extract_string e) :: acc) str
+      stream_tok ((Tok.extract_string true e) :: acc) str
   in
   let st = CLexer.get_lexer_state () in
   try
-- 
cgit v1.2.3