X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=src%2FxPath.mli;h=afb4c39e8bf5bfb895bf981bd00e5ee9e3ebef08;hb=3c05557d22d07e447ae8efae3bfe38619c14c2a9;hp=44935c3b502f79f09b9f2bcc1e8fc58cc6b3e8fb;hpb=cba2938d929fd5119b1491686ddc224d5af618c6;p=tatoo.git

diff --git a/src/xPath.mli b/src/xPath.mli
index 44935c3..afb4c39 100644
--- a/src/xPath.mli
+++ b/src/xPath.mli
@@ -46,4 +46,5 @@ sig
 end
 
 
-val parse : string -> Ast.path
+val parse_string : string -> Ast.path
+val parse_file : in_channel -> Ast.path