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/lemma.h | |
| parent | 3554df2e34e63364eea3a7998e0dfb0e6be65ca4 (diff) | |
| download | verbly-75e947fa0021547f460496d1c3aef5b61af4c669.tar.gz verbly-75e947fa0021547f460496d1c3aef5b61af4c669.tar.bz2 verbly-75e947fa0021547f460496d1c3aef5b61af4c669.zip | |
Migrated generator to hkutil
Diffstat (limited to 'generator/lemma.h')
| -rw-r--r-- | generator/lemma.h | 4 |
1 files changed, 2 insertions, 2 deletions
| diff --git a/generator/lemma.h b/generator/lemma.h index f68667f..f7d5491 100644 --- a/generator/lemma.h +++ b/generator/lemma.h | |||
| @@ -4,12 +4,12 @@ | |||
| 4 | #include <string> | 4 | #include <string> |
| 5 | #include <map> | 5 | #include <map> |
| 6 | #include <set> | 6 | #include <set> |
| 7 | #include <hkutil/database.h> | ||
| 7 | #include "../lib/enums.h" | 8 | #include "../lib/enums.h" |
| 8 | 9 | ||
| 9 | namespace verbly { | 10 | namespace verbly { |
| 10 | namespace generator { | 11 | namespace generator { |
| 11 | 12 | ||
| 12 | class database; | ||
| 13 | class form; | 13 | class form; |
| 14 | 14 | ||
| 15 | class lemma { | 15 | class lemma { |
| @@ -50,7 +50,7 @@ namespace verbly { | |||
| 50 | 50 | ||
| 51 | // Serializer | 51 | // Serializer |
| 52 | 52 | ||
| 53 | database& operator<<(database& db, const lemma& arg); | 53 | hatkirby::database& operator<<(hatkirby::database& db, const lemma& arg); |
| 54 | 54 | ||
| 55 | }; | 55 | }; |
| 56 | }; | 56 | }; |