diff options
Diffstat (limited to 'src/fstate.cc')
-rw-r--r-- | src/fstate.cc | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/src/fstate.cc b/src/fstate.cc index 1c8c6776f1ed..5da3d8358f74 100644 --- a/src/fstate.cc +++ b/src/fstate.cc @@ -62,9 +62,6 @@ static void parseIds(ATermList ids, FSIds & out) } -typedef set<FSId> FSIdSet; - - static void checkSlice(const Slice & slice) { if (slice.elems.size() == 0) |