improved check in delift for flexible lc entries.

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

diff --git a/helm/software/lambda-delta/common/library.ml b/helm/software/lambda-delta/common/library.ml
index c60a227e76c65e425783f007dc7c4a003f641bfc..8ef875ce780526e34453956adefd1b2d55890cee 100644 (file)
--- a/helm/software/lambda-delta/common/library.ml
+++ b/helm/software/lambda-delta/common/library.ml
@@ -42,7 +42,7 @@ let close_entry frm =
 
 (* interface functions ******************************************************)
 
-let export_unit export_entry si g = function
+let export_entity export_entry si g = function
    | Some entry ->
       let _, uri, bind = entry in
       let path = path_of_uri uri in