diff options
Diffstat (limited to 'src/fstate.hh')
| -rw-r--r-- | src/fstate.hh | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/src/fstate.hh b/src/fstate.hh index 2ae876b7c..0d89e7e36 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; |