diff options
author | Andreas Stöckel <astoecke@techfak.uni-bielefeld.de> | 2015-02-07 00:13:26 +0100 |
---|---|---|
committer | Andreas Stöckel <astoecke@techfak.uni-bielefeld.de> | 2015-02-07 00:13:26 +0100 |
commit | 9a9646aa38435f5cec9faa0c23fb2d8ad875e13f (patch) | |
tree | 6c7bf7ac50721ae6ec2cf47980bba8dcc4bab272 /src/core | |
parent | 7d593b637bcf6222a2fc74de2cd7536bd41d7b2f (diff) |
Fixed problem with GC -- domains Node vector was not rooted.
Diffstat (limited to 'src/core')
-rw-r--r-- | src/core/model/Document.hpp | 4 |
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) { } |