diff options
| author | Andres Notzli <andres.noetzli@gmail.com> | 2017-03-29 23:27:56 +0200 |
|---|---|---|
| committer | Andres Notzli <andres.noetzli@gmail.com> | 2017-03-30 11:36:14 -0700 |
| commit | faec717e89cfd657daaa370a061f4a8e282b0eff (patch) | |
| tree | 067f9df357725c07ea7d04a5895801152b5f1a27 /src/printer/cvc/cvc_printer.cpp | |
| parent | 100037d531ff1fd30ed3dd5bed91076c383ad55c (diff) | |
[Coverity] Remove throw qualifiers in src/smtremove_throw
Addresses coverity issues:
1172167
1172174
1172176
1172183
1172185
1172186
1172188
1172189
1172191
1172192
1172193
1172194
1172197
1172197
1172198
1172434
1172437
1172438
1172443
1172445
1172446
1172447
1172448
1362695
1362700
1362717
1362736
1362768
1362786
1362811
1379599
1421404
1421405
1421406
1421407
1421408
1421409
1421410
1421411
1421412
1421413
Diffstat (limited to 'src/printer/cvc/cvc_printer.cpp')
0 files changed, 0 insertions, 0 deletions