From 2245422d0fd50635dce8d0025d3092dea32052ad Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Patrick=20L=C3=BChne?= <patrick-github@luehne.de>
Date: Thu, 9 Jun 2016 15:18:36 +0200
Subject: [PATCH] Made parser exception message more meaningful.

---
 src/plasp/pddl/Domain.cpp  | 3 +++
 src/plasp/pddl/Problem.cpp | 3 +++
 2 files changed, 6 insertions(+)

diff --git a/src/plasp/pddl/Domain.cpp b/src/plasp/pddl/Domain.cpp
index fb3c70d..450f28c 100644
--- a/src/plasp/pddl/Domain.cpp
+++ b/src/plasp/pddl/Domain.cpp
@@ -54,7 +54,10 @@ void Domain::findSections()
 		[&](const std::string &sectionName, auto &sectionPosition, const auto value, bool unique = false)
 		{
 			if (unique && sectionPosition != -1)
+			{
+				parser.seek(value);
 				throw utils::ParserException(parser, "Only one \":" + sectionName + "\" section allowed");
+			}
 
 			sectionPosition = value;
 		};
diff --git a/src/plasp/pddl/Problem.cpp b/src/plasp/pddl/Problem.cpp
index 0b63633..5b92488 100644
--- a/src/plasp/pddl/Problem.cpp
+++ b/src/plasp/pddl/Problem.cpp
@@ -51,7 +51,10 @@ void Problem::findSections()
 	[&](const std::string &sectionName, auto &sectionPosition, const auto value, bool unique = false)
 	{
 		if (unique && sectionPosition != -1)
+		{
+			parser.seek(value);
 			throw utils::ParserException(parser, "Only one \":" + sectionName + "\" section allowed");
+		}
 
 		sectionPosition = value;
 	};