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/word.h | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'generator/word.h')

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 @@
 #define WORD_H_91F99D46
 
 #include <cassert>
+#include <hkutil/database.h>
 #include "../lib/enums.h"
 
 namespace verbly {
@@ -9,7 +10,6 @@ namespace verbly {
 
     class notion;
     class lemma;
-    class database;
     class group;
 
     class word {
@@ -102,7 +102,7 @@ namespace verbly {
 
     // Serializer
 
-    database& operator<<(database& db, const word& arg);
+    hatkirby::database& operator<<(hatkirby::database& db, const word& arg);
 
   };
 };
-- 
cgit 1.4.1