X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Flambda-delta%2Fbasic_ag%2FbagType.ml;fp=helm%2Fsoftware%2Flambda-delta%2Fbasic_ag%2FbagType.ml;h=02c831994775cf9bb43cbc7376098906eeeb1557;hb=c52a5748465e24374aec569bf74fc85e5bbb075a;hp=c398e034dfeefb5c2e34328f4b575d63946b381d;hpb=a03741c70a531bdfcc97eddca21e30eb3cd82073;p=helm.git

diff --git a/helm/software/lambda-delta/basic_ag/bagType.ml b/helm/software/lambda-delta/basic_ag/bagType.ml
index c398e034d..02c831994 100644
--- a/helm/software/lambda-delta/basic_ag/bagType.ml
+++ b/helm/software/lambda-delta/basic_ag/bagType.ml
@@ -19,6 +19,8 @@ module O = BagOutput
 module E = BagEnvironment
 module R = BagReduction
 
+exception TypeError of B.message
+
 (* Internal functions *******************************************************)
 
 let level = 4
@@ -29,13 +31,13 @@ let log1 s c t =
 
 let error1 st c t =
    let sc = "In the context" in
-   raise (R.TypeError (L.ct_items1 sc c st t))
+   raise (TypeError (L.ct_items1 sc c st t))
 
 let error3 c t1 t2 t3 =
    let sc, st1, st2, st3 = 
       "In the context", "the term", "is of type", "but must be of type"
    in
-   raise (R.TypeError (L.ct_items3 sc c st1 t1 st2 t2 st3 t3))
+   raise (TypeError (L.ct_items3 sc c st1 t1 st2 t2 st3 t3))
 
 let mk_gref u l =
    let map t v = B.Appl (v, t) in