- conditional compilation continues ...

[helm.git] / helm / software / helena / src / basic_rg / brgSubstitution.mli

diff --git a/helm/software/helena/src/basic_rg/brgSubstitution.mli b/helm/software/helena/src/basic_rg/brgSubstitution.mli
index a1717666f76f11defcaa6280128fea843f7dfc4a..068d6b156faddd81ac2371b2d497fd8d2e7007f4 100644 (file)
--- 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