1 files changed, 0 insertions, 4 deletions
diff --git a/src/fstate.hh b/src/fstate.hh
index 2ae876b7cd2e..0d89e7e360c7 100644
--- a/src/fstate.hh
+++ b/src/fstate.hh
@@ -1,8 +1,6 @@
 #ifndef __FSTATE_H
 #define __FSTATE_H
 
-#include <set>
-
 extern "C" {
 #include <aterm2.h>
 }
@@ -53,8 +51,6 @@ using namespace std;
 typedef ATerm FState;
 typedef ATerm Content;
 
-typedef set<string> StringSet;
-
 typedef list<FSId> FSIds;