summaryrefslogtreecommitdiffstats
path: root/src/sat/bsat2/IntTypes.h
diff options
context:
space:
mode:
Diffstat (limited to 'src/sat/bsat2/IntTypes.h')
-rw-r--r--src/sat/bsat2/IntTypes.h1
1 files changed, 1 insertions, 0 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>