branch | v_0 |
changeset 33 | 5288af2e4921 |
parent 26 | cf57e8c78492 |
child 35 | eafffeea6a3e |
--- a/src/Configuration.h Tue May 28 20:53:05 2019 +0200 +++ b/src/Configuration.h Tue Jul 30 23:55:40 2019 +0200 @@ -82,7 +82,7 @@ class Configuration { public: - vector<RelationConfiguration> relationConfigurations; + std::vector<RelationConfiguration> relationConfigurations; /** * Global definitions for all relations.