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

diff --git a/src/parse.mli b/src/parse.mli
index 692524c..e4bddcf 100644
--- a/src/parse.mli
+++ b/src/parse.mli
@@ -17,5 +17,5 @@
  * 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA.
  *)
 
-val parse : Lexing.lexbuf -> Ast.file
-val parse_from_file : string -> Ast.file
+val parse_goalfile : Ast.env -> string -> Ast.env
+val parse_cli_expr : string -> Ast.expr