Removing more miscellaneous throw specifiers. (#1488)

Removing more miscellaneous throw specifiers.

1 files changed, 2 insertions, 4 deletions

diff --git a/src/options/theoryof_mode.cpp b/src/options/theoryof_mode.cpp
index 9eb2be178..3fe7db532 100644
--- a/src/options/theoryof_mode.cpp
+++ b/src/options/theoryof_mode.cpp
@@ -19,19 +19,17 @@
 #include "options/theoryof_mode.h"
 
 #include <ostream>
-#include "base/cvc4_assert.h"
 
 namespace CVC4 {
 namespace theory {
 
-std::ostream& operator<<(std::ostream& out, TheoryOfMode m) throw() {
+std::ostream& operator<<(std::ostream& out, TheoryOfMode m)
+{
   switch(m) {
   case THEORY_OF_TYPE_BASED: return out << "THEORY_OF_TYPE_BASED";
   case THEORY_OF_TERM_BASED: return out << "THEORY_OF_TERM_BASED";
   default: return out << "TheoryOfMode!UNKNOWN";
   }
-
-  Unreachable();
 }
 
 }/* CVC4::theory namespace */