src/Configuration.h
branchv_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.