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/bsat2/Options.h | |
| parent | 228dbcc51e8a00cc8e7c002f66b4411aada3a3fa (diff) | |
| download | abc-5ae8a37d9dcea105c03d0d29681501c6a920ef59.tar.gz abc-5ae8a37d9dcea105c03d0d29681501c6a920ef59.tar.bz2 abc-5ae8a37d9dcea105c03d0d29681501c6a920ef59.zip | |
Compiler problems.
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: |