X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=action.h;h=61c7c4cb9f7b5c7ffc15d270792ad856cdfe80e8;hb=262fab229626c8504297467fc7b5a04f60b7c530;hp=e375016e4c96367634a207f8f92948a5ac56c965;hpb=90471233ff4dcca9a196152574dca4e7cf183698;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>