stdlib: Fix %branch -> %fedora-branch.

[goals.git] / src / parse.mli

diff --git a/src/parse.mli b/src/parse.mli
index 7535de2..e755a59 100644 (file)
--- a/src/parse.mli
+++ b/src/parse.mli
@@ -17,5 +17,5 @@
  * 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA.
  *)
 
-val parse_goalfile : string -> Ast.file
-val parse_cli_expr : string -> Ast.expr
+val parse_goalfile : Ast.env -> string -> Ast.env
+val parse_expr : string -> string -> Ast.expr