From c15040c218016f95eb5b3597af82b299cb3f2abd Mon Sep 17 00:00:00 2001
From: Henner Zeller <h.zeller@acm.org>
Date: Tue, 7 Apr 2020 12:50:31 -0700
Subject: [PATCH] aigerparse: only define __STDC_FORMAT_MACROS it not already
 before.

---
 frontends/aiger/aigerparse.cc | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/frontends/aiger/aigerparse.cc b/frontends/aiger/aigerparse.cc
index cbce0c990..92cf92fa8 100644
--- a/frontends/aiger/aigerparse.cc
+++ b/frontends/aiger/aigerparse.cc
@@ -30,7 +30,9 @@
 #include <libkern/OSByteOrder.h>
 #define __builtin_bswap32 OSSwapInt32
 #endif
+#ifndef __STDC_FORMAT_MACROS
 #define __STDC_FORMAT_MACROS
+#endif
 #include <inttypes.h>
 
 #include "kernel/yosys.h"
-- 
2.30.2