txtLexer: bug fix in parsing the string tokens

[helm.git] / helm / software / lambda-delta / toplevel / top.ml

diff --git a/helm/software/lambda-delta/toplevel/top.ml b/helm/software/lambda-delta/toplevel/top.ml
index 57bdfdae8080180f880ab8a217e98b57890ae5c6..40fcda5e1db4a2772c343361b297eeee7d6dc3d9 100644 (file)
--- a/helm/software/lambda-delta/toplevel/top.ml
+++ b/helm/software/lambda-delta/toplevel/top.ml
@@ -28,7 +28,7 @@ module DA   = CrgAut
 module MA   = MetaAut
 module MO   = MetaOutput
 module ML   = MetaLibrary
-module DO   = CrgOutput
+module DX   = CrgXml
 module DBrg = CrgBrg
 module MBrg = MetaBrg
 module BrgO = BrgOutput
@@ -122,7 +122,7 @@ let count_entity st = function
    | _            -> st
 
 let export_entity si xdir moch = function
-   | CrgEntity e  -> X.export_entity DO.export_term si xdir e
+   | CrgEntity e  -> X.export_entity DX.export_term si xdir e
    | BrgEntity e  -> X.export_entity BrgO.export_term si xdir e
    | MetaEntity e ->
       begin match moch with