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

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

diff --git a/helm/software/helena/src/basic_rg/brgGrafite.ml b/helm/software/helena/src/basic_rg/brgGrafite.ml
index 53956d932ba79185dd03c88657afcfa1ca6d3734..cb4935f1e3fbd5f0f4bda430ed7e1e2df158845f 100644 (file)
--- a/helm/software/helena/src/basic_rg/brgGrafite.ml
+++ b/helm/software/helena/src/basic_rg/brgGrafite.ml
@@ -15,7 +15,7 @@ module P = Printf
 module U = NUri
 module C = Cps
 module G = Options
-module N = Level
+module N = Layer
 module E = Entity
 module R = Alpha
 module B = Brg