X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fhelena%2Fsrc%2Fbasic_rg%2FbrgSubstitution.ml;h=5441f0145d2a88f131eedafdd86b4b389b0dca24;hb=c44a7c4d35c1bb9651c3596519d8262e52e90ff4;hp=6fd4575dda85daf208689d4fd5191070186f5b10;hpb=fec20705af4705f8eb9542aece87769b82a6a6b4;p=helm.git

diff --git a/helm/software/helena/src/basic_rg/brgSubstitution.ml b/helm/software/helena/src/basic_rg/brgSubstitution.ml
index 6fd4575dd..5441f0145 100644
--- a/helm/software/helena/src/basic_rg/brgSubstitution.ml
+++ b/helm/software/helena/src/basic_rg/brgSubstitution.ml
@@ -12,6 +12,8 @@
 module G = Options
 module B = Brg
 
+IFDEF TYPE THEN
+
 let rec icm a = function
    | B.Sort _
    | B.LRef _
@@ -48,3 +50,5 @@ let lift h d t =
 *)
       iter (lift_map h) d t
    end
+
+END