- performance data added for reference

[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 3c89ab317c343892d5f63b0b287140224b792362..7e3ee1b82985f5113dcb2dcb82ddf98cca7134ff 100644 (file)
--- a/helm/software/lambda-delta/common/library.mli
+++ b/helm/software/lambda-delta/common/library.mli
@@ -11,4 +11,4 @@
 
 val export_item:
    (Format.formatter -> 'bind Item.obj -> unit) -> 
-   bool -> Hierarchy.graph -> string -> 'bind Item.item -> unit
+   bool -> Hierarchy.graph -> 'bind Item.item -> unit