diff options
| author | Andres Notzli <andres.noetzli@gmail.com> | 2017-03-27 11:40:45 +0200 |
|---|---|---|
| committer | Andres Notzli <andres.noetzli@gmail.com> | 2017-03-27 12:58:22 +0200 |
| commit | f5954a66ac3255fe140049e47a7b56a6fab459b3 (patch) | |
| tree | 8424cfc0c54d292d4a3de93c019e4982705ac48b /src/theory/booleans | |
| parent | 0be62eeea95eaf27913e792c17dd79afb96b16cb (diff) | |
Remove throw qualifiers in type enumerators
This addresses Coverity issues:
- 1172154
- 1172156
- 1172157
- 1172158
- 1172159
- 1379612
- 1379612
- 1421430
- 1172166
- 1172144
- 1362709
- 1362696
- 1172145
- 1172147
- 1172148
- 1379610
- 1362772
- 1362676
- 1362704
- 1362749
- 1362876
- 1362843
- 1362837
- 1362881
- 1172223
- 1172155
Diffstat (limited to 'src/theory/booleans')
| -rw-r--r-- | src/theory/booleans/type_enumerator.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/theory/booleans/type_enumerator.h b/src/theory/booleans/type_enumerator.h index 3949d15d5..e91f47317 100644 --- a/src/theory/booleans/type_enumerator.h +++ b/src/theory/booleans/type_enumerator.h @@ -39,7 +39,7 @@ public: type.getConst<TypeConstant>() == BOOLEAN_TYPE); } - Node operator*() throw(NoMoreValuesException) { + Node operator*() { switch(d_value) { case FALSE: return NodeManager::currentNM()->mkConst(false); |