From 5ae8a37d9dcea105c03d0d29681501c6a920ef59 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Tue, 21 Oct 2014 20:13:25 -0700 Subject: Compiler problems. --- src/sat/bsat2/IntTypes.h | 1 + src/sat/bsat2/Options.h | 3 ++- 2 files changed, 3 insertions(+), 1 deletion(-) (limited to 'src') diff --git a/src/sat/bsat2/IntTypes.h b/src/sat/bsat2/IntTypes.h index 457ba99c..1c011e83 100644 --- a/src/sat/bsat2/IntTypes.h +++ b/src/sat/bsat2/IntTypes.h @@ -34,6 +34,7 @@ OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWA #else +# define __STDC_LIMIT_MACROS # include # include diff --git a/src/sat/bsat2/Options.h b/src/sat/bsat2/Options.h index b650ad8f..439cb8f2 100644 --- a/src/sat/bsat2/Options.h +++ b/src/sat/bsat2/Options.h @@ -236,7 +236,7 @@ class IntOption : public Option } }; - +/* // Leave this out for visual C++ until Microsoft implements C99 and gets support for strtoll. #ifndef _MSC_VER @@ -298,6 +298,7 @@ class Int64Option : public Option } }; #endif +*/ //================================================================================================== // String option: -- cgit v1.2.3