X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=components%2Fgrafite_parser%2FdependenciesParser.ml;h=eb33e49b80d7b5f453dbadb433851f7de3e96556;hb=6ad533c972e6c9e9db53f38f972e7c0792160f2e;hp=b7b4151fa3b5c47f874cd476f60012e9bcfe7f85;hpb=ac54ae2a52c5e5bda881d2d94f62548202184856;p=helm.git

diff --git a/components/grafite_parser/dependenciesParser.ml b/components/grafite_parser/dependenciesParser.ml
index b7b4151fa..eb33e49b8 100644
--- a/components/grafite_parser/dependenciesParser.ml
+++ b/components/grafite_parser/dependenciesParser.ml
@@ -83,7 +83,9 @@ let make_absolute paths path =
    | p :: tl ->
       let path = p ^ "/" ^ path in
        try
-         ignore (Unix.stat path); path
+         ignore (Unix.stat path);
+         HLog.debug ("Including "^path^" with path: " ^ p);
+         path
        with Unix.Unix_error _ -> aux tl
    in
    try