X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=src%2Fruntime.mli;fp=src%2Fruntime.mli;h=39278e629b80ad528670083e579eb7c6eba48b88;hb=852a21ccb090cc11e996d7bae3322882cc694e3e;hp=c4990175a8dc5ece691a26b15e30a97365d184c6;hpb=b3e234addb5b12ed5c03ed0bdad433af7cc53cdb;p=SXSI%2Fxpathcomp.git

diff --git a/src/runtime.mli b/src/runtime.mli
index c499017..39278e6 100644
--- a/src/runtime.mli
+++ b/src/runtime.mli
@@ -2,7 +2,6 @@ module type S = sig
   type result_set
   val top_down_run : Ata.t -> Tree.t -> Tree.node -> result_set
   val bottom_up_run : Ata.t -> Tree.t -> Compile.text_query * string -> result_set
-  val grammar_run : Ata.t -> Grammar2.t -> unit -> result_set
   val naive_top_down_run : Ata.t -> Tree.t -> Tree.node -> result_set
   val twopass_top_down_run : Ata.t -> Tree.t -> Tree.node -> result_set
 end