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

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