some renaming. final commit for version 0.8.0

[helm.git] / helm / software / lambda-delta / common / library.mli

diff --git a/helm/software/lambda-delta/common/library.mli b/helm/software/lambda-delta/common/library.mli
index 1a10b6e9d6d86e244fdd805dfc32f4274fd7e7e8..68325f3d98b931e3cc6c2a821de8c3049bad1c9f 100644 (file)
--- a/helm/software/lambda-delta/common/library.mli
+++ b/helm/software/lambda-delta/common/library.mli
@@ -9,6 +9,6 @@
      \ /   This software is distributed as is, NO WARRANTY.              
       V_______________________________________________________________ *)
 
-val export_unit:
-   (Format.formatter -> 'bind Unit.entry -> unit) -> 
-   bool -> Hierarchy.graph -> 'bind Unit.unit -> unit
+val export_entity:
+   (Format.formatter -> 'bind Entity.entry -> unit) -> 
+   bool -> Hierarchy.graph -> 'bind Entity.entity -> unit