diff options
| author | Jim Fehrle | 2018-11-29 20:17:22 -0800 |
|---|---|---|
| committer | Jim Fehrle | 2018-12-10 16:10:10 -0800 |
| commit | c00506b3fdde0ce4d2c0607dd097463de21301af (patch) | |
| tree | 2302d6d733eea2748ea025449c6468b44f2b3100 /printing/proof_diffs.ml | |
| parent | 43ecefe2805e2178fa3c113c4889b7720676c905 (diff) | |
For diffs, return exactly the characters that make up STRING and FIELD tokens
Diffstat (limited to 'printing/proof_diffs.ml')
| -rw-r--r-- | printing/proof_diffs.ml | 2 |
1 files changed, 1 insertions, 1 deletions
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 |