From 4538f5fe95758f2507c191ab39175491f24e6f67 Mon Sep 17 00:00:00 2001
From: Tim King <taking@cs.nyu.edu>
Date: Mon, 15 Jan 2018 22:47:40 -0800
Subject: Removing more miscellaneous throw specifiers. (#1509)

Removing more miscellaneous throw specifiers. Also fixing the spelling of amount in several places.
---
 src/theory/theory_model.cpp | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'src/theory/theory_model.cpp')

diff --git a/src/theory/theory_model.cpp b/src/theory/theory_model.cpp
index 5555e29e2..739925f4f 100644
--- a/src/theory/theory_model.cpp
+++ b/src/theory/theory_model.cpp
@@ -50,7 +50,8 @@ TheoryModel::TheoryModel(context::Context* c,
   d_eeContext->push();
 }
 
-TheoryModel::~TheoryModel() throw() {
+TheoryModel::~TheoryModel()
+{
   d_eeContext->pop();
   delete d_equalityEngine;
   delete d_eeContext;
-- 
cgit v1.2.3