From 75e947fa0021547f460496d1c3aef5b61af4c669 Mon Sep 17 00:00:00 2001
From: Kelly Rauchenberger <fefferburbia@gmail.com>
Date: Sat, 31 Mar 2018 23:05:02 -0400
Subject: Migrated generator to hkutil

---
 generator/lemma.h | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'generator/lemma.h')

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 @@
 #include <string>
 #include <map>
 #include <set>
+#include <hkutil/database.h>
 #include "../lib/enums.h"
 
 namespace verbly {
   namespace generator {
 
-    class database;
     class form;
 
     class lemma {
@@ -50,7 +50,7 @@ namespace verbly {
 
     // Serializer
 
-    database& operator<<(database& db, const lemma& arg);
+    hatkirby::database& operator<<(hatkirby::database& db, const lemma& arg);
 
   };
 };
-- 
cgit 1.4.1