Merge branch 'jit' of ssh://git.nguyen.vg/tatoo into jit

diff --git a/src/tree.ml b/src/tree.ml
index 2696707..a1cd6a1 100644 (file)
--- a/src/tree.ml
+++ b/src/tree.ml
@@ -157,5 +157,4 @@ sig
   *)
   val print_node : Format.formatter -> node -> unit
 
-  val dispatch ('a -> 'b -> QName.t -> NodeSummary.t -> node -> node 
 end