X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;f=src%2Fparse.mli;h=e755a5975de28c60a9beb929d94f6504ed76b1b6;hb=54c8ad92025a9c77c2b10644499b3944e1299187;hp=39893a1be5a9b162b2a4280199c705929e5fb596;hpb=94430834302e922af6c27a1c88e13f862a57dd0f;p=goals.git

diff --git a/src/parse.mli b/src/parse.mli
index 39893a1..e755a59 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_goalfile : string -> Ast.env
-val parse_cli_expr : string -> Ast.expr
+val parse_goalfile : Ast.env -> string -> Ast.env
+val parse_expr : string -> string -> Ast.expr