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 | }; |