X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;f=src%2Fparse.mli;h=e755a5975de28c60a9beb929d94f6504ed76b1b6;hb=5a456c968ee7e7bbe477ae4e756967c4aa2e3fc1;hp=e4bddcf543531fb6ef37facbbfac0686fa9f2ec9;hpb=6afdc65fcdb592dccb751849f65b1f482ef97cd6;p=goals.git

diff --git a/src/parse.mli b/src/parse.mli
index e4bddcf..e755a59 100644
--- a/src/parse.mli
+++ b/src/parse.mli
@@ -18,4 +18,4 @@
  *)
 
 val parse_goalfile : Ast.env -> string -> Ast.env
-val parse_cli_expr : string -> Ast.expr
+val parse_expr : string -> string -> Ast.expr