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