From 83bdc306f781204dfb4094247932d13cc40edded Mon Sep 17 00:00:00 2001
From: tomsmeding <tom.smeding@gmail.com>
Date: Sun, 20 Nov 2016 22:29:29 +0100
Subject: Make `last` work

---
 environment.h | 1 +
 1 file changed, 1 insertion(+)

(limited to 'environment.h')

diff --git a/environment.h b/environment.h
index d3f3031..e892207 100644
--- a/environment.h
+++ b/environment.h
@@ -21,6 +21,7 @@ private:
 	bool reduce(AST &ast,i64 depth=0);
 	bool betareduce(AST &ast,i64 depth);
 	bool resolve(AST &ast);
+	bool resolve(AST &ast,unordered_set<Name> &avoid);
 
 public:
 	void load(const Environment &other);
-- 
cgit v1.2.3-70-g09d2