diff options
Diffstat (limited to 'src/sat/bsat2/Options.h')
| -rw-r--r-- | src/sat/bsat2/Options.h | 3 |
1 files changed, 2 insertions, 1 deletions
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: |