X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;ds=sidebyside;f=action.h;h=61c7c4cb9f7b5c7ffc15d270792ad856cdfe80e8;hb=02558d484765370cd00ff15008412aa4a15eea11;hp=e375016e4c96367634a207f8f92948a5ac56c965;hpb=fa36db2da01d7da10e0cd375fda3c2db4ce3a05b;p=model-checker.git

diff --git a/action.h b/action.h
index e375016..61c7c4c 100644
--- a/action.h
+++ b/action.h
@@ -5,7 +5,6 @@
 #ifndef __ACTION_H__
 #define __ACTION_H__
 
-#include <list>
 #include <cstddef>
 #include <inttypes.h>