Optimized the topdown run yet again

[SXSI/xpathcomp.git] / ata.mli

diff --git a/ata.mli b/ata.mli
index 545a826..3152112 100644 (file)
--- a/ata.mli
+++ b/ata.mli
@@ -69,10 +69,6 @@ module Transition :
     val print : Format.formatter -> t -> unit
   end
 
-module SetTagKey : Hashtbl.HashedType with type t = StateSet.t*Tag.t
-
-module CachedTransTable : Hashtbl.S with type key = SetTagKey.t
- 
 module Formlist : Hlist.S with type elt = Transition.t
 
 type 'a t = {