From 15dd9d1aa1e0cfe8b31364fb42985ee8d5c5fc9d Mon Sep 17 00:00:00 2001
From: Benjamin Paassen <bpaassen@techfak.uni-bielefeld.de>
Date: Mon, 5 Jan 2015 15:05:28 +0100
Subject: corrected RTTI for domain und document and added a reference to
 system type system in test domain.

---
 src/core/model/Domain.hpp | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'src/core/model/Domain.hpp')

diff --git a/src/core/model/Domain.hpp b/src/core/model/Domain.hpp
index 7e4e9f7..6995d14 100644
--- a/src/core/model/Domain.hpp
+++ b/src/core/model/Domain.hpp
@@ -559,12 +559,12 @@ protected:
 	               VisitorSet &visited) override;
 
 public:
-	Domain(Manager &mgr, std::string name)
+	Domain(Manager &mgr, Handle<SystemTypesystem> sys, std::string name)
 	    // TODO: Can a domain have a parent?
 	    : Node(mgr, std::move(name), nullptr),
 	      structureClasses(this),
 	      annotationClasses(this),
-	      typesystems(this)
+	      typesystems(this, std::vector<Handle<Typesystem>>{sys})
 	{
 	}
 
-- 
cgit v1.2.3