Merge branch 'develop'

1 files changed, 1 insertions, 1 deletions

diff --git a/src/ast.h b/src/ast.h
index f83f3f7..257024f 100644
--- a/src/ast.h
+++ b/src/ast.h
@@ -53,7 +53,7 @@ void ast_puts(Ast *p);
 Ast *ast_paramToCons(Ast *ast);
 int ast_recordConst(char *name, int val);
 Ast *ast_remove_tuple1(Ast *p);
-Ast *ast_unfoldABR(Ast *left_params, char *sym, Ast *paramlist);
+Ast *ast_unfoldABR(Ast *left_params, char *sym, Ast *paramlist, Ast *annotate);
 int ast_getRecordedVal(int entry);
 
 #define ast_makeCons(x1,x2) ast_makeAST(AST_LIST,x1,x2)