From 97069f69ab3a58cc4ccbaa1a835912c6c31dde4d Mon Sep 17 00:00:00 2001
From: Jim Fehrle
Date: Sun, 1 Jul 2018 13:02:02 -0700
Subject: Make tokenize_string an optional parameter for diff methods in
 pp_diffs. Remove forward reference to lexer.

---
 test-suite/unit-tests/printing/proof_diffs_test.ml | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'test-suite')

diff --git a/test-suite/unit-tests/printing/proof_diffs_test.ml b/test-suite/unit-tests/printing/proof_diffs_test.ml
index e0285ac143..526cefec44 100644
--- a/test-suite/unit-tests/printing/proof_diffs_test.ml
+++ b/test-suite/unit-tests/printing/proof_diffs_test.ml
@@ -3,7 +3,9 @@ open Utest
 open Pp_diff
 open Proof_diffs
 
-let tokenize_string = !Pp_diff.tokenize_string
+let tokenize_string = Proof_diffs.tokenize_string
+let diff_pp = diff_pp ~tokenize_string
+let diff_str = diff_str ~tokenize_string
 
 let tests = ref []
 let add_test name test = tests := (mk_test name (TestCase test)) :: !tests
-- 
cgit v1.2.3