diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2003-07-17T12·27+0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2003-07-17T12·27+0000 |
| commit | b3fc38bf6a407f962b83089b2e13cbc90dd53042 (patch) | |
| tree | 9b5200845516f93a79255dc7857500556c2d0e2a /src/fstate.hh | |
| parent | 71cc3ceae5c5dd97a0faa2dab3da3dd0c479b0b5 (diff) | |
* For debugging: `nix --verify' to check the consistency of the
database and store.
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 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; |