diff options
author | Christopher L. Conway <christopherleeconway@gmail.com> | 2010-10-28 20:05:32 +0000 |
---|---|---|
committer | Christopher L. Conway <christopherleeconway@gmail.com> | 2010-10-28 20:05:32 +0000 |
commit | c39254b98c010397fa5b2da9513d7b3451d682d7 (patch) | |
tree | 010f3f640a621b51fc6b8739a17a88780e14ac19 /src/main | |
parent | 61cff4d656a292c6138be5e08715cadd28e22b03 (diff) |
Disabling bottom-up algorithm in NodeManager::getType() when type checking
is not requested or eager type checking is enabled
Diffstat (limited to 'src/main')
0 files changed, 0 insertions, 0 deletions