- conditional compilation continues ...

[helm.git] / helm / software / helena / src / xml / xmlCrg.ml

diff --git a/helm/software/helena/src/xml/xmlCrg.ml b/helm/software/helena/src/xml/xmlCrg.ml
index 673eefa0ce37dbb0b02cd2e808d8be62ba5510aa..5d112bed2d1dcd7ebc924556711f41db9006a439 100644 (file)
--- a/helm/software/helena/src/xml/xmlCrg.ml
+++ b/helm/software/helena/src/xml/xmlCrg.ml
@@ -17,6 +17,8 @@ module R  = Alpha
 module XL = XmlLibrary
 module D  = Crg
 
+IFDEF OBJECTS THEN
+
 (* internal functions *******************************************************)
 
 let lenv_iter map_bind map_appl map_proj st e lenv out tab = 
@@ -97,3 +99,5 @@ and exp_proj st e lenv out tab =
 (* interface functions ******************************************************)
 
 let export_term st = exp_term st D.empty_lenv
+
+END