X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=src%2Fxpath%2Fcompile.mli;h=a3269921e962cef1f2794f8df236e3945547a90b;hb=974dacbf4f625bfd8ea83db69d6b346050141fea;hp=6f50f11eabb5d14625b8d723e9431b3fa1b4e632;hpb=f49a93deba13602e16a3923695281e9a20215ac8;p=tatoo.git

diff --git a/src/xpath/compile.mli b/src/xpath/compile.mli
index 6f50f11..a326992 100644
--- a/src/xpath/compile.mli
+++ b/src/xpath/compile.mli
@@ -14,7 +14,7 @@
 (***********************************************************************)
 
 (*
-  Time-stamp: <Last modified on 2013-03-04 16:36:21 CET by Kim Nguyen>
+  Time-stamp: <Last modified on 2013-04-04 18:41:11 CEST by Kim Nguyen>
 *)
 
-val path : Ast.path -> Auto.Ata.t
+val path : Ast.path -> Ata.t