Changeset d484a32 for src/dgp/thesymbols.hh

Timestamp:

10/24/14 13:07:15 (10 years ago)

Author:

Tomasz Obrebski <obrebski@…>

Branches:

master

Children:

acbabee

Parents:

56c300b

git-author:

Tomasz Obrebski <obrebski@…> (10/24/14 13:07:15)

git-committer:

Tomasz Obrebski <obrebski@…> (10/24/14 13:07:15)

Message:

some unnecessary variables/functions deleted

File:

• src/dgp/thesymbols.hh (modified) (1 diff)

src/dgp/thesymbols.hh

@@ -18 +18 @@
 typedef list<Role>::iterator   RoleListIter;
 typedef bitset<MAXTYPES>       RoleSet;
-typedef set<Role>              Roles;
-typedef Roles::iterator        RolesIter;
+// typedef set<Role>              Roles;
+// typedef Roles::iterator        RolesIter;
 
 typedef Symbol<3>              Constr;