X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fhelena%2Fsrc%2Fbasic_rg%2FbrgSubstitution.mli;fp=helm%2Fsoftware%2Fhelena%2Fsrc%2Fbasic_rg%2FbrgSubstitution.mli;h=068d6b156faddd81ac2371b2d497fd8d2e7007f4;hb=586c361209ac14e8c2b1da3509041c0c82a86c92;hp=a1717666f76f11defcaa6280128fea843f7dfc4a;hpb=14803d30dc98bcb4804c629341373dbc0ec6b1ef;p=helm.git

diff --git a/helm/software/helena/src/basic_rg/brgSubstitution.mli b/helm/software/helena/src/basic_rg/brgSubstitution.mli
index a1717666f..068d6b156 100644
--- a/helm/software/helena/src/basic_rg/brgSubstitution.mli
+++ b/helm/software/helena/src/basic_rg/brgSubstitution.mli
@@ -9,7 +9,10 @@
      \ /   This software is distributed as is, NO WARRANTY.              
       V_______________________________________________________________ *)
 
+IFDEF TYPE THEN
+
 val lift: int -> int -> Brg.term -> Brg.term
 (*
 val lift_bind: (Brg.bind -> 'a) -> int -> int -> Brg.bind -> 'a
 *)
+END