we removed old HAL exportation (replaced by XML exportation)

[helm.git] / helm / software / lambda-delta / src / modules.ml

diff --git a/helm/software/lambda-delta/src/modules.ml b/helm/software/lambda-delta/src/modules.ml
index f48cf6ffc856023e2b58f9cb12e0f35aaed22352..7fad8b893f810170e8fd29561c56c322c861034a 100644 (file)
--- a/helm/software/lambda-delta/src/modules.ml
+++ b/helm/software/lambda-delta/src/modules.ml
@@ -53,7 +53,6 @@ module BU = brgUntrusted
 
 module M  = meta
 module MO = metaOutput
-module ML = metaLibrary
 module MA = metaAut
 module MZ = metaBag
 module MB = metaBrg