X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=action.cc;fp=action.cc;h=0084fd3411cdb57e888b1dcef161eb16a6d1398d;hb=3bc5d895b8fc7352465ece995380f28f72db2b53;hp=2750edf13b685e728c946d093e8352c70bfc8151;hpb=ecca9a3bfcfe77f1e6b53ff8cd57449f048bb629;p=model-checker.git

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"