diff options
-rw-r--r-- | src/options/options_template.cpp | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/src/options/options_template.cpp b/src/options/options_template.cpp index 6144b57dc..11ed56f68 100644 --- a/src/options/options_template.cpp +++ b/src/options/options_template.cpp @@ -43,10 +43,11 @@ extern int optreset; #include <cstdlib> #include <cstring> #include <iomanip> +#include <limits> #include <new> -#include <string> #include <sstream> -#include <limits> +#include <stdexcept> +#include <string> #include "base/cvc4_assert.h" #include "base/exception.h" |