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