- we are moving from old (patched) management of sort inclusion

[helm.git] / helm / software / helena / src / basic_ag / bagCrg.ml

diff --git a/helm/software/helena/src/basic_ag/bagCrg.ml b/helm/software/helena/src/basic_ag/bagCrg.ml
index de74dcb2b0550d4f0502c8fc4715053afe60f6fa..8d35483ea3d160abd06c2f8bad9e33ef1f8ccfc9 100644 (file)
--- a/helm/software/helena/src/basic_ag/bagCrg.ml
+++ b/helm/software/helena/src/basic_ag/bagCrg.ml
@@ -11,7 +11,7 @@
 
 module C = Cps
 module J = Marks
-module N = Level
+module N = Layer
 module E = Entity
 module D = Crg
 module Z = Bag