From aaf51964710e6a6a0faf41076f763bcd7791e2d1 Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@m4x.org>
Date: Thu, 5 Mar 2020 18:44:28 +0100
Subject: [PATCH] [cil_types_debug] remove dependency on Cil_datatype

The transitive dependencies are just to heavy to load in ocamldebug
---
 src/kernel_services/ast_printing/cil_types_debug.ml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/kernel_services/ast_printing/cil_types_debug.ml b/src/kernel_services/ast_printing/cil_types_debug.ml
index 144bb0d584c..a30ae3abc13 100644
--- a/src/kernel_services/ast_printing/cil_types_debug.ml
+++ b/src/kernel_services/ast_printing/cil_types_debug.ml
@@ -607,7 +607,8 @@ and pp_location fmt (pos_start,pos_end) =
   p fmt "(%a,%a)" pp_filepath_position pos_start pp_filepath_position pos_end
 
 and pp_if_loc_known prefix suffix fmt loc =
-  if print_locations && loc <> Cil_datatype.Location.unknown
+  if print_locations &&
+     not (Filepath.Normalized.is_unknown (fst loc).Filepath.pos_path)
   then Format.fprintf fmt "%s%a%s" prefix pp_location loc suffix
   else ()
 
-- 
GitLab