diff options
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); |