From 8b11b494d2e654475cca81885f70a2f8f7b37ba2 Mon Sep 17 00:00:00 2001 From: Jeremie Dimino Date: Fri, 19 Jan 2018 22:44:30 +0000 Subject: [PATCH] Fix Path.pp --- src/path.ml | 2 +- test/unit-tests/path.mlt | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/src/path.ml b/src/path.ml index c1bce7d3..926b66af 100644 --- a/src/path.ml +++ b/src/path.ml @@ -474,7 +474,7 @@ let change_extension ~ext t = let extension = Filename.extension -let pp = Format.pp_print_string +let pp ppf t = Format.pp_print_string ppf (to_string t) let drop_prefix t ~prefix = let t = to_string t in diff --git a/test/unit-tests/path.mlt b/test/unit-tests/path.mlt index 35e1a47e..aabf529b 100644 --- a/test/unit-tests/path.mlt +++ b/test/unit-tests/path.mlt @@ -40,7 +40,7 @@ Path.(descendant Path.root ~of_:(r "foo")) Path.(descendant Path.root ~of_:Path.root) [%%expect{| -- : Jbuilder.Path.t option = Some +- : Jbuilder.Path.t option = Some . |}] Path.(descendant (r "foo") ~of_:Path.root)