Implement pure functions.

[goals.git] / src / ast.mli

diff --git a/src/ast.mli b/src/ast.mli
index 371c209..cf776eb 100644 (file)
--- a/src/ast.mli
+++ b/src/ast.mli
@@ -65,7 +65,7 @@ and expr =
 and constant =
   | CString of string
 and goal = param_decl list * pattern list * expr list * code option
-and func = param_decl list * returning * code
+and func = param_decl list * returning * bool * code
 and tactic = param_decl list * code
 and param_decl = id             (** goal/func/tactic parameter. *)
 and id = string