diff options
| author | Kelly Rauchenberger <fefferburbia@gmail.com> | 2018-03-31 23:05:02 -0400 |
|---|---|---|
| committer | Kelly Rauchenberger <fefferburbia@gmail.com> | 2018-03-31 23:05:02 -0400 |
| commit | 75e947fa0021547f460496d1c3aef5b61af4c669 (patch) | |
| tree | 64559a5329b3e5983ffdfe7ee2ad65c7c938e98d /generator/word.h | |
| parent | 3554df2e34e63364eea3a7998e0dfb0e6be65ca4 (diff) | |
| download | verbly-75e947fa0021547f460496d1c3aef5b61af4c669.tar.gz verbly-75e947fa0021547f460496d1c3aef5b61af4c669.tar.bz2 verbly-75e947fa0021547f460496d1c3aef5b61af4c669.zip | |
Migrated generator to hkutil
Diffstat (limited to 'generator/word.h')
| -rw-r--r-- | generator/word.h | 4 |
1 files changed, 2 insertions, 2 deletions
| diff --git a/generator/word.h b/generator/word.h index a994ec3..2e469d4 100644 --- a/generator/word.h +++ b/generator/word.h | |||
| @@ -2,6 +2,7 @@ | |||
| 2 | #define WORD_H_91F99D46 | 2 | #define WORD_H_91F99D46 |
| 3 | 3 | ||
| 4 | #include <cassert> | 4 | #include <cassert> |
| 5 | #include <hkutil/database.h> | ||
| 5 | #include "../lib/enums.h" | 6 | #include "../lib/enums.h" |
| 6 | 7 | ||
| 7 | namespace verbly { | 8 | namespace verbly { |
| @@ -9,7 +10,6 @@ namespace verbly { | |||
| 9 | 10 | ||
| 10 | class notion; | 11 | class notion; |
| 11 | class lemma; | 12 | class lemma; |
| 12 | class database; | ||
| 13 | class group; | 13 | class group; |
| 14 | 14 | ||
| 15 | class word { | 15 | class word { |
| @@ -102,7 +102,7 @@ namespace verbly { | |||
| 102 | 102 | ||
| 103 | // Serializer | 103 | // Serializer |
| 104 | 104 | ||
| 105 | database& operator<<(database& db, const word& arg); | 105 | hatkirby::database& operator<<(hatkirby::database& db, const word& arg); |
| 106 | 106 | ||
| 107 | }; | 107 | }; |
| 108 | }; | 108 | }; |