aboutsummaryrefslogtreecommitdiffstats
path: root/src/resp.hpp
diff options
context:
space:
mode:
Diffstat (limited to 'src/resp.hpp')
-rw-r--r--src/resp.hpp1
1 files changed, 1 insertions, 0 deletions
diff --git a/src/resp.hpp b/src/resp.hpp
index 266387c..a2b5cf8 100644
--- a/src/resp.hpp
+++ b/src/resp.hpp
@@ -877,6 +877,7 @@ int eval(CEnv& cenv, Cursor& cursor, istream& is, bool execute);
int repl(CEnv& cenv);
void resp_constrain(TEnv& tenv, Constraints& c, const AST* ast) throw(Error);
+const AST* resp_simplify(CEnv& cenv, const AST* ast) throw();
const AST* resp_lift(CEnv& cenv, Code& code, const AST* ast) throw();
CVal resp_compile(CEnv& cenv, const AST* ast) throw();