diff options
author | Christopher L. Conway <christopherleeconway@gmail.com> | 2010-05-13 05:30:20 +0000 |
---|---|---|
committer | Christopher L. Conway <christopherleeconway@gmail.com> | 2010-05-13 05:30:20 +0000 |
commit | 7730b9562b11d13236ce566f15ede0cb3416fe21 (patch) | |
tree | b6cae47869e09fb8b7fae12de25e50c76d6ef0a4 /src/expr | |
parent | a358ed3b520919acbb72fb9bcd2974ee4165f495 (diff) |
Minor refactorings and corrections to comments
Diffstat (limited to 'src/expr')
-rw-r--r-- | src/expr/node_manager.h | 12 |
1 files changed, 4 insertions, 8 deletions
diff --git a/src/expr/node_manager.h b/src/expr/node_manager.h index 53abdb703..fcfca5296 100644 --- a/src/expr/node_manager.h +++ b/src/expr/node_manager.h @@ -707,14 +707,10 @@ inline void NodeManager::poolInsert(expr::NodeValue* nv) { // assume it's atomic if its kind can be atomic, check children // to see if that is actually true bool atomic = kind::kindCanBeAtomic(nv->getKind()); - if(atomic) { - for(expr::NodeValue::nv_iterator i = nv->nv_begin(); - i != nv->nv_end(); - ++i) { - if(!(atomic = isAtomic(*i))) { - break; - } - } + for(expr::NodeValue::nv_iterator i = nv->nv_begin(); + atomic && i != nv->nv_end(); + ++i) { + atomic = isAtomic(*i); } setAttribute(nv, AtomicAttr(), atomic); |