diff options
Diffstat (limited to 'generator/group.h')
| -rw-r--r-- | generator/group.h | 1 |
1 files changed, 1 insertions, 0 deletions
| diff --git a/generator/group.h b/generator/group.h index 5486fbe..a7f3a17 100644 --- a/generator/group.h +++ b/generator/group.h | |||
| @@ -5,6 +5,7 @@ | |||
| 5 | #include <set> | 5 | #include <set> |
| 6 | #include <string> | 6 | #include <string> |
| 7 | #include <cassert> | 7 | #include <cassert> |
| 8 | #include <list> | ||
| 8 | #include "role.h" | 9 | #include "role.h" |
| 9 | 10 | ||
| 10 | namespace verbly { | 11 | namespace verbly { |