From 97d265637505a239e3d328a3ee7e26c6fd5d6744 Mon Sep 17 00:00:00 2001
From: Eddie Hung <eddie@fpgeh.com>
Date: Fri, 14 Jun 2019 12:00:02 -0700
Subject: Resolve comments from @daveshah1

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

(limited to 'frontends')

diff --git a/frontends/aiger/aigerparse.cc b/frontends/aiger/aigerparse.cc
index a72a82926..4ce76daa5 100644
--- a/frontends/aiger/aigerparse.cc
+++ b/frontends/aiger/aigerparse.cc
@@ -26,7 +26,7 @@
 #include <libgen.h>
 #include <stdlib.h>
 #endif
-#include <array>
+#include <inttypes.h>
 
 #include "kernel/yosys.h"
 #include "kernel/sigtools.h"
@@ -277,7 +277,7 @@ static uint32_t parse_xaiger_literal(std::istream &f)
 	uint32_t l;
 	f.read(reinterpret_cast<char*>(&l), sizeof(l));
 	if (f.gcount() != sizeof(l))
-		log_error("Offset %ld: unable to read literal!\n", static_cast<int64_t>(f.tellg()));
+		log_error("Offset %" PRId64 ": unable to read literal!\n", static_cast<int64_t>(f.tellg()));
 	// TODO: Don't assume we're on little endian
 #ifdef _WIN32
 	return _byteswap_ulong(l);
-- 
cgit v1.2.3