Index: app/src/dgp/thesymbols.hh
===================================================================
--- app/src/dgp/thesymbols.hh	(revision 0214596e4d70b25df913a24f19d50cb0f1b4a69f)
+++ app/src/dgp/thesymbols.hh	(revision 9ace5d204d63628901f9f128d3f99ce5f7c973c0)
@@ -23,5 +23,7 @@
 
 typedef Symbol<4> Rel;
+
 typedef Symbol<5> Flag;
+typedef bitset<MAXFLAGS> FlagSet;
 
 #endif