Add environment to store variables and goals.

[goals.git] / src / parse.mli

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