- conditional compilation continues ...

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

diff --git a/helm/software/helena/src/basic_ag/bagSubstitution.ml b/helm/software/helena/src/basic_ag/bagSubstitution.ml
index f35cdf4ff09e7f87ddf759e81c5d84991e6872e7..a8109c3ffbc82e9bbc6161696752ec11bfa08342 100644 (file)
--- a/helm/software/helena/src/basic_ag/bagSubstitution.ml
+++ b/helm/software/helena/src/basic_ag/bagSubstitution.ml
@@ -12,6 +12,8 @@
 module S = Share
 module Z = Bag
 
+IFDEF TYPE THEN
+
 (* Internal functions *******************************************************)
 
 let rec lref_map_bind f map b = match b with
@@ -46,3 +48,5 @@ and lref_map f map t = match t with
 let subst f new_l old_l t =
    let map i = if i = old_l then new_l else i in
    if new_l = old_l then f t else lref_map f map t
+
+END