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

[helm.git] / helm / software / helena / src / basic_rg / brgCrg.ml

diff --git a/helm/software/helena/src/basic_rg/brgCrg.ml b/helm/software/helena/src/basic_rg/brgCrg.ml
index cc1223c0aa199630133f8aaadb14fbb284b006a9..0fcde12aa4bcefb0603ca02debe71e32fa0134e8 100644 (file)
--- a/helm/software/helena/src/basic_rg/brgCrg.ml
+++ b/helm/software/helena/src/basic_rg/brgCrg.ml
@@ -10,7 +10,7 @@
       V_______________________________________________________________ *)
 
 module C = Cps
-module N = Level
+module N = Layer
 module E = Entity
 module D = Crg
 module B = Brg