--- a/src/CLIParser.h	Tue Oct 22 16:05:36 2019 +0200
+++ b/src/CLIParser.h	Fri Oct 25 12:33:00 2019 +0200
@@ -49,6 +49,7 @@
 
 	static const string_t OPTION_RELATION;
 	static const string_t OPTION_PARAMETER;
+	static const string_t OPTION_DUMP;
 	static const string_t OPTION_FILE;
 	static const string_t OPTION_KEEP_FILE;
 
@@ -67,6 +68,8 @@
 				Parameter parameter;
 				parameter.value = readNext(arguments, i);
 				currentQuery.parameters.push_back(parameter);
+			} else if (option == OPTION_DUMP) {
+				c.dumpRelations = readNext(arguments, i);
 			} else if (option == OPTION_FILE) {
 				c.file = readNext(arguments, i);
 			} else if (option == OPTION_KEEP_FILE) {
@@ -92,6 +95,7 @@
 
 const string_t CLIParser::OPTION_RELATION = L"--relation";
 const string_t CLIParser::OPTION_PARAMETER = L"--parameter";
+const string_t CLIParser::OPTION_DUMP = L"--dump";
 const string_t CLIParser::OPTION_FILE = L"--file";
 const string_t CLIParser::OPTION_KEEP_FILE = L"--keep-file";