X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fhelena%2Fsrc%2Fxml%2FxmlCrg.ml;h=5d112bed2d1dcd7ebc924556711f41db9006a439;hb=4217fb2c3c93019cdf9c22a80ed46d6814f1cb7d;hp=673eefa0ce37dbb0b02cd2e808d8be62ba5510aa;hpb=fec20705af4705f8eb9542aece87769b82a6a6b4;p=helm.git

diff --git a/helm/software/helena/src/xml/xmlCrg.ml b/helm/software/helena/src/xml/xmlCrg.ml
index 673eefa0c..5d112bed2 100644
--- 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