new message reporting system improves performance significatively

[helm.git] / helm / software / helena / src / basic_ag / bagType.mli

diff --git a/helm/software/helena/src/basic_ag/bagType.mli b/helm/software/helena/src/basic_ag/bagType.mli
index ba0268e9c509e30135a475e47b73e66a425cc9e0..8f343a62424b456c0fe44cd4a2b9560e046d0e40 100644 (file)
--- a/helm/software/helena/src/basic_ag/bagType.mli
+++ b/helm/software/helena/src/basic_ag/bagType.mli
@@ -9,8 +9,7 @@
      \ /   This software is distributed as is, NO WARRANTY.              
       V_______________________________________________________________ *)
 
-exception TypeError of Bag.message
-
 val type_of: 
+   (Bag.message -> 'a) ->
    (Bag.term -> Bag.term -> 'a) ->
    Status.status -> Bag.lenv -> Bag.term -> 'a