From e2fd5debfd8b94a6ec77a514962851594f0690f0 Mon Sep 17 00:00:00 2001
From: Gert van Valkenhoef <g.h.m.van.valkenhoef@rug.nl>
Date: Wed, 9 Nov 2011 18:12:34 +0000
Subject: [PATCH] Remove Domain class - unused

---
 Makefile |  2 +-
 domain.h | 12 ------------
 store.h  |  1 -
 3 files changed, 1 insertion(+), 14 deletions(-)
 delete mode 100644 domain.h

diff --git a/Makefile b/Makefile
index 4ad7260..f54dabe 100644
--- a/Makefile
+++ b/Makefile
@@ -1,4 +1,4 @@
-HEADERS=oberon.h store.h reader.h domain.h alien.h typeregister.h textmodel.h fold.h visitor.h
+HEADERS=oberon.h store.h reader.h alien.h typeregister.h textmodel.h fold.h visitor.h
 
 odcread: odcread.o reader.o store.o util.o alien.o typeregister.o textmodel.o fold.o 
 	g++ -o $@ $^
diff --git a/domain.h b/domain.h
deleted file mode 100644
index 8fe0f0a..0000000
--- a/domain.h
+++ /dev/null
@@ -1,12 +0,0 @@
-#ifndef _DOMAIN_H_
-#define _DOMAIN_H_
-
-namespace odc {
-
-class Domain {
-
-};
-
-}
-
-#endif // _DOMAIN_H_
diff --git a/store.h b/store.h
index 8d1e77d..03d1c8f 100644
--- a/store.h
+++ b/store.h
@@ -2,7 +2,6 @@
 #define _STORE_H_
 
 #include <oberon.h>
-#include <domain.h>
 #include <typeregister.h>
 #include <visitor.h>
 
-- 
2.29.2