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

[helm.git] / helm / software / helena / src / complete_rg / crgOutput.ml

diff --git a/helm/software/helena/src/complete_rg/crgOutput.ml b/helm/software/helena/src/complete_rg/crgOutput.ml
index dfef1f250748a2e439dc90c097f3e9ed2067b323..6ccf47af0bc9e0a240a2494a89b59374ba0b6d44 100644 (file)
--- a/helm/software/helena/src/complete_rg/crgOutput.ml
+++ b/helm/software/helena/src/complete_rg/crgOutput.ml
@@ -15,7 +15,7 @@ module U = NUri
 module C = Cps
 module L = Log
 module J = Marks
-module N = Level
+module N = Layer
 module E = Entity
 module D = Crg