From 842e581321bcd9f30c60b9dacc671843ca776fed Mon Sep 17 00:00:00 2001
From: Morgan Deters <mdeters@gmail.com>
Date: Tue, 3 Nov 2009 03:37:08 +0000
Subject: additional headers and modifications; now passes syntax check

---
 src/include/kind.h | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'src/include/kind.h')

diff --git a/src/include/kind.h b/src/include/kind.h
index f45495bb0..9307cc677 100644
--- a/src/include/kind.h
+++ b/src/include/kind.h
@@ -26,3 +26,5 @@ enum Kind {
 };/* enum Kind */
 
 }/* CVC4 namespace */
+
+#endif /* __CVC4_KIND_H */
-- 
cgit v1.2.3