- some bugfix

[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 619a6cce6d49db1da77193fa8953fb791616fd3a..9fbb2cdf7008671373e3fedfd3834bad3a8d0832 100644 (file)
--- a/helm/software/lambda-delta/src/modules.ml
+++ b/helm/software/lambda-delta/src/modules.ml
@@ -1,4 +1,4 @@
-(* free = F I P U V *)
+(* free = F I M P U V *)
 
 module U  = NUri
 module K  = NUri.UriHash
@@ -18,29 +18,21 @@ module R  = alpha
 module Q  = ccs
 module S  = status
 
+module D  = crg
+module DO = crgOutput
+
 module T  = txt
 module TP = txtParser
 module TL = txtLexer
 module TT = txtTxt
+module TD = txtCrg
 
 module A  = aut
 module AA = autProcess
 module AO = autOutput
 module AP = autParser
 module AL = autLexer
-
-module Z  = bag
-module ZO = bagOutput
-module ZE = bagEnvironment
-module ZS = bagSubstitution
-module ZR = bagReduction 
-module ZT = bagType
-module ZU = bagUntrusted
-
-module D  = crg
-module DO = crgOutput
-module TD = crgTxt
-module AD = crgAut
+module AD = autCrg
 
 module XL = xmlLibrary
 module XD = xmlCrg
@@ -54,11 +46,14 @@ module BR = brgReduction
 module BT = brgType
 module BU = brgUntrusted
 
-module M  = meta
-module MO = metaOutput
-module MA = metaAut
-module MZ = metaBag
-module MB = metaBrg
+module Z  = bag
+module ZD = brgCrg
+module ZO = bagOutput
+module ZE = bagEnvironment
+module ZS = bagSubstitution
+module ZR = bagReduction 
+module ZT = bagType
+module ZU = bagUntrusted
 (*
             top
 *)