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

[helm.git] / helm / software / helena / src / text / txtParser.mly

diff --git a/helm/software/helena/src/text/txtParser.mly b/helm/software/helena/src/text/txtParser.mly
index 2c9abe0793115c8991eb3614236d16860348ddbd..d9336b189f142a8d4e6a58546fb076941b0f2dbe 100644 (file)
--- a/helm/software/helena/src/text/txtParser.mly
+++ b/helm/software/helena/src/text/txtParser.mly
@@ -25,7 +25,7 @@
 
 %{
    module G = Options
-   module N = Level
+   module N = Layer
    module T = Txt
    
    let _ = Parsing.set_trace !G.debug_parser