clean up header #includes

[model-checker.git] / action.h

diff --git a/action.h b/action.h
index f9f0c41762d72c03cfd57c2f4b2b420e1d242462..3eafaa99a9f971fe7111c8a640da32e7954d09c5 100644 (file)
--- a/action.h
+++ b/action.h
@@ -5,7 +5,6 @@
 
 #include "libthreads.h"
 #include "libatomic.h"
-#include "threads.h"
 
 #define VALUE_NONE -1