X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Flambda-delta%2Fcommon%2Flibrary.ml;h=94ee60bd3f188564aebca8408f3a6139bd927a5b;hb=c68f6ae61227544df47512b14e1a74d270dfbb6d;hp=61af9792127f9c900992e4e1e9bfe4f636fc9105;hpb=2e451dca46e509fd7e7772f3d2e438c189ce10a1;p=helm.git

diff --git a/helm/software/lambda-delta/common/library.ml b/helm/software/lambda-delta/common/library.ml
index 61af97921..94ee60bd3 100644
--- a/helm/software/lambda-delta/common/library.ml
+++ b/helm/software/lambda-delta/common/library.ml
@@ -119,7 +119,7 @@ let export_entity pp_term si g (a, u, b) =
       | Y.Void   -> assert false
    in
    let opts = if si then "si" else "" in
-   let shp = H.string_of_graph C.start g in
+   let shp = H.string_of_graph g in
    let attrs = ["hierarchy", shp; "options", opts] in
    tag root attrs ~contents out 0;
    close_out och