1 files changed, 10 insertions, 0 deletions
diff --git a/src/util/Assert.h b/src/util/Assert.h
index 0ff89bedf..e38a3f9cf 100644
--- a/src/util/Assert.h
+++ b/src/util/Assert.h
@@ -221,6 +221,16 @@ public:
     va_end(args);
   }
 
+  InternalErrorException(const char* function, const char* file, unsigned line,
+                         std::string fmt, ...) :
+    AssertionException() {
+    va_list args;
+    va_start(args, fmt);
+    construct("Internal error detected", "",
+              function, file, line, fmt.c_str(), args);
+    va_end(args);
+  }
+
 };/* class InternalErrorException */
 
 #ifdef CVC4_DEBUG