From 194125e07ad29dd6d2fd6dd7ae366433935fc10e Mon Sep 17 00:00:00 2001 From: Rudi Grinberg Date: Wed, 24 Apr 2019 16:20:45 +0700 Subject: [PATCH] Fix file tree cache benchmark building These need to be updated to use the new Path.Source.t Signed-off-by: Rudi Grinberg --- bench/file_tree_cache.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/bench/file_tree_cache.ml b/bench/file_tree_cache.ml index bb9451bca021..597dcd740e84 100644 --- a/bench/file_tree_cache.ml +++ b/bench/file_tree_cache.ml @@ -11,7 +11,7 @@ let setup = lazy ( Path.set_root tmp; Path.set_build_dir (Path.Kind.of_string "_build"); let ft = (Dune_load.load ()).file_tree in - let path = Path.of_string deep_path in + let path = Path.Source.of_string deep_path in at_exit (fun () -> Sys.remove "./dune-project"); (ft, path))