diff options
author | Clark Barrett <barrett@cs.stanford.edu> | 2017-03-27 13:20:27 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-03-27 13:20:27 -0700 |
commit | 495bdbb219af11a0c6673aecb83d390db9f873f7 (patch) | |
tree | 35ea0c570fe3da6b94893ccaffc7bd754636a50b /src/theory/strings | |
parent | f49ddf87046793972a7f6a1bdae15003709f08d2 (diff) | |
parent | f5954a66ac3255fe140049e47a7b56a6fab459b3 (diff) |
Merge pull request #137 from 4tXJ7f/throw_quals
Remove throw qualifiers in type enumerators
Diffstat (limited to 'src/theory/strings')
-rw-r--r-- | src/theory/strings/type_enumerator.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/theory/strings/type_enumerator.h b/src/theory/strings/type_enumerator.h index 1fe3d79f6..22dc903ab 100644 --- a/src/theory/strings/type_enumerator.h +++ b/src/theory/strings/type_enumerator.h @@ -50,7 +50,7 @@ public: Node operator*() throw() { return d_curr; } - StringEnumerator& operator++() throw() { + StringEnumerator& operator++() { bool changed = false; do{ for(unsigned i=0; i<d_data.size(); ++i) { @@ -99,7 +99,7 @@ public: return d_curr; } - StringEnumeratorLength& operator++() throw() { + StringEnumeratorLength& operator++() { bool changed = false; for(unsigned i=0; i<d_data.size(); ++i) { if( d_data[i] + 1 < d_cardinality ) { |