From: Brian Norris <banorris@uci.edu>
Date: Tue, 16 Apr 2013 02:53:40 +0000 (-0700)
Subject: action: add <stdlib>
X-Git-Tag: oopsla2013~64
X-Git-Url: http://demsky.eecs.uci.edu/git/?p=model-checker.git;a=commitdiff_plain;h=3bc5d895b8fc7352465ece995380f28f72db2b53

action: add <stdlib>

For exit() and EXIT_*
---

diff --git a/action.cc b/action.cc
index 2750edf..0084fd3 100644
--- a/action.cc
+++ b/action.cc
@@ -1,6 +1,7 @@
 #include <stdio.h>
 #define __STDC_FORMAT_MACROS
 #include <inttypes.h>
+#include <stdlib.h>
 
 #include "model.h"
 #include "action.h"