X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=ata.mli;h=3152112fefa7a3a5c64d9d3c0fafa3e2e1f7ac74;hb=b82be3bb29963ce00218ccc59e1622e284145351;hp=545a82691691a000e39caff21c51a1163f89662d;hpb=b8aa8e7f1036cf00d0fadc75ccbe0264bae6c1b2;p=SXSI%2Fxpathcomp.git

diff --git a/ata.mli b/ata.mli
index 545a826..3152112 100644
--- 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 = {