diff options
Diffstat (limited to 'src/core/model/Domain.hpp')
| -rw-r--r-- | src/core/model/Domain.hpp | 4 |
1 files changed, 2 insertions, 2 deletions
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}) { } |