summaryrefslogtreecommitdiff
path: root/src/core
diff options
context:
space:
mode:
authorAndreas Stöckel <astoecke@techfak.uni-bielefeld.de>2015-02-07 00:13:26 +0100
committerAndreas Stöckel <astoecke@techfak.uni-bielefeld.de>2015-02-07 00:13:26 +0100
commit9a9646aa38435f5cec9faa0c23fb2d8ad875e13f (patch)
tree6c7bf7ac50721ae6ec2cf47980bba8dcc4bab272 /src/core
parent7d593b637bcf6222a2fc74de2cd7536bd41d7b2f (diff)
Fixed problem with GC -- domains Node vector was not rooted.
Diffstat (limited to 'src/core')
-rw-r--r--src/core/model/Document.hpp4
1 files changed, 3 insertions, 1 deletions
diff --git a/src/core/model/Document.hpp b/src/core/model/Document.hpp
index cebf266..4be3494 100644
--- a/src/core/model/Document.hpp
+++ b/src/core/model/Document.hpp
@@ -727,7 +727,9 @@ public:
* @param name is a name for this Document.
*/
Document(Manager &mgr, std::string name)
- : RootNode(mgr, std::move(name), nullptr), annotations(this)
+ : RootNode(mgr, std::move(name), nullptr),
+ annotations(this),
+ domains(this)
{
}