From 28f5025862b0b145ee64ce4a4ed44b94eeb071c0 Mon Sep 17 00:00:00 2001 From: Cristiano Calcagno Date: Wed, 23 Sep 2015 08:57:14 -0100 Subject: [PATCH] [backend] fix verbose logging "The project root ... is not a prefix of ..." --- infer/src/backend/DB.ml | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/infer/src/backend/DB.ml b/infer/src/backend/DB.ml index a3bbca0f6..1c580e86d 100644 --- a/infer/src/backend/DB.ml +++ b/infer/src/backend/DB.ml @@ -53,10 +53,9 @@ let rel_source_file_from_abs_path root fname = if Utils.string_is_prefix root fname then let relative_fname = filename_to_relative root fname in Relative relative_fname - else begin - L.err "The project root %s is not a prefix of %s@." root fname; + else + (* The project root is not a prefix of the file name *) abs_source_file_from_path fname - end type encoding_type = Enc_base | Enc_path_with_underscores | Enc_crc