diff options
| author | tomsmeding <tom.smeding@gmail.com> | 2016-11-20 22:29:29 +0100 |
|---|---|---|
| committer | tomsmeding <tom.smeding@gmail.com> | 2016-11-20 22:30:08 +0100 |
| commit | 83bdc306f781204dfb4094247932d13cc40edded (patch) | |
| tree | 4be7082726ec7823df3c2dae27d92bdd1f4d4a27 /environment.h | |
| parent | 979325946b938be7cbe51f8c20c44e457107979f (diff) | |
Make `last` work
Diffstat (limited to 'environment.h')
| -rw-r--r-- | environment.h | 1 |
1 files changed, 1 insertions, 0 deletions
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); |