diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2014-10-21 20:13:25 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2014-10-21 20:13:25 -0700 |
| commit | 5ae8a37d9dcea105c03d0d29681501c6a920ef59 (patch) | |
| tree | d8308b134fc83a4d5cf27ac237c5950e6e183ca2 /src/sat | |
| parent | 228dbcc51e8a00cc8e7c002f66b4411aada3a3fa (diff) | |
| download | abc-5ae8a37d9dcea105c03d0d29681501c6a920ef59.tar.gz abc-5ae8a37d9dcea105c03d0d29681501c6a920ef59.tar.bz2 abc-5ae8a37d9dcea105c03d0d29681501c6a920ef59.zip | |
Compiler problems.
Diffstat (limited to 'src/sat')
| -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: |