diff options
author | Andres Noetzli <noetzli@stanford.edu> | 2017-07-26 10:35:56 -0700 |
---|---|---|
committer | Andres Noetzli <noetzli@stanford.edu> | 2017-07-26 10:35:56 -0700 |
commit | be0b9ac4087a7e46661315ceec0e362320b30890 (patch) | |
tree | f7c8a1b9b43a816230507c071bb92cfc0039a847 | |
parent | 7d7e16260ca25980cf32140192d7bb2aa5b09128 (diff) |
-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" |