From: Brian Norris <banorris@uci.edu>
Date: Tue, 19 Jun 2012 17:04:58 +0000 (-0700)
Subject: cyclegraph: make this compile...
X-Git-Tag: pldi2013~391^2~14
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=c3292c3390a13dec2409a0931a6480ddb5de4dde;p=model-checker.git

cyclegraph: make this compile...

You need 'inttypes' for 'uintptr_t'
---

diff --git a/cyclegraph.h b/cyclegraph.h
index ed53417..818a3e8 100644
--- a/cyclegraph.h
+++ b/cyclegraph.h
@@ -4,6 +4,7 @@
 #include "hashtable.h"
 #include "action.h"
 #include <vector>
+#include <inttypes.h>
 
 class CycleNode;