Removing more miscellaneous throw specifiers. (#1509)

Removing more miscellaneous throw specifiers. Also fixing the spelling of amount in several places.

1 files changed, 8 insertions, 4 deletions

diff --git a/src/theory/rewriter_attributes.h b/src/theory/rewriter_attributes.h
index ec120ff0c..60fa3a417 100644
--- a/src/theory/rewriter_attributes.h
+++ b/src/theory/rewriter_attributes.h
@@ -35,7 +35,8 @@ struct RewriteAttibute {
   /**
    * Get the value of the pre-rewrite cache.
    */
-  static Node getPreRewriteCache(TNode node) throw() {
+  static Node getPreRewriteCache(TNode node)
+  {
     Node cache;
     if (node.hasAttribute(pre_rewrite())) {
       node.getAttribute(pre_rewrite(), cache);
@@ -52,7 +53,8 @@ struct RewriteAttibute {
   /**
    * Set the value of the pre-rewrite cache.
    */
-  static void setPreRewriteCache(TNode node, TNode cache) throw() {
+  static void setPreRewriteCache(TNode node, TNode cache)
+  {
     Trace("rewriter") << "setting pre-rewrite of " << node << " to " << cache << std::endl;
     Assert(!cache.isNull());
     if (node == cache) {
@@ -66,7 +68,8 @@ struct RewriteAttibute {
    * Get the value of the post-rewrite cache.
    * none).
    */
-  static Node getPostRewriteCache(TNode node) throw() {
+  static Node getPostRewriteCache(TNode node)
+  {
     Node cache;
     if (node.hasAttribute(post_rewrite())) {
       node.getAttribute(post_rewrite(), cache);
@@ -83,7 +86,8 @@ struct RewriteAttibute {
   /**
    * Set the value of the post-rewrite cache.  v cannot be a null Node.
    */
-  static void setPostRewriteCache(TNode node, TNode cache) throw() {
+  static void setPostRewriteCache(TNode node, TNode cache)
+  {
     Assert(!cache.isNull());
     Trace("rewriter") << "setting rewrite of " << node << " to " << cache << std::endl;
     if (node == cache) {