X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Flambda-delta%2Fcommon%2Flibrary.ml;fp=helm%2Fsoftware%2Flambda-delta%2Fcommon%2Flibrary.ml;h=91272c6f839c10bffef60ad44d47ed1334e93ec5;hb=55d6dde568f1daf1fa6902428bda7caec147375a;hp=75afcc52dfb3b4bf892f23c6ad0f43545fffcbc8;hpb=4c157ac5c58f34fffc98289c2d2e71032d584a83;p=helm.git

diff --git a/helm/software/lambda-delta/common/library.ml b/helm/software/lambda-delta/common/library.ml
index 75afcc52d..91272c6f8 100644
--- a/helm/software/lambda-delta/common/library.ml
+++ b/helm/software/lambda-delta/common/library.ml
@@ -25,7 +25,8 @@ let root = "ENTITY"
 
 let system = "http://helm.cs.unibo.it/lambda-delta/" ^ base ^ "/ld.dtd"
 
-let path_of_uri uri =
+let path_of_uri xdir uri =
+   let base = F.concat xdir base in 
    F.concat base (Str.string_after (U.string_of_uri uri) 3)
 
 (* interface functions ******************************************************)
@@ -105,8 +106,8 @@ let mark a =
    let f i = "mark", string_of_int i in
    Y.mark err f a
 
-let export_entity pp_term si (a, u, b) =
-   let path = path_of_uri u in
+let export_entity pp_term si xdir (a, u, b) =
+   let path = path_of_uri xdir u in
    let _ = Sys.command (Printf.sprintf "mkdir -p %s" (F.dirname path)) in
    let och = open_out (path ^ obj_ext) in
    let out = output_string och in