- conditional compilation continues ...

[helm.git] / helm / software / helena / src / basic_ag / bagUntrusted.ml

diff --git a/helm/software/helena/src/basic_ag/bagUntrusted.ml b/helm/software/helena/src/basic_ag/bagUntrusted.ml
index 9efbf91824979cdbbd75d3d8a5b8f1d4bb8b27ee..0b5fa7dba30e4d716947e45fb896877bacafe4eb 100644 (file)
--- a/helm/software/helena/src/basic_ag/bagUntrusted.ml
+++ b/helm/software/helena/src/basic_ag/bagUntrusted.ml
@@ -16,6 +16,8 @@ module Z  = Bag
 module ZE = BagEnvironment
 module ZT = BagType
 
+IFDEF TYPE THEN
+
 (* Interface functions ******************************************************)
 
 (* to share *)
@@ -29,3 +31,5 @@ let type_check err f st = function
       let f xt tt = ZE.set_entity (f tt) (ra, na, uri, E.Abbr xt) in
       ZT.type_of err f st Z.empty_lenv t
    | _, _, _, E.Void       -> assert false
+
+END