From 7e60631840b86e774a543ed8d416b7743da38329 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Patrick=20L=C3=BChne?= <patrick-github@luehne.de>
Date: Sat, 4 Jun 2016 17:47:01 +0200
Subject: [PATCH] Refactored Requirement parsing.

---
 src/plasp/pddl/Domain.cpp | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/src/plasp/pddl/Domain.cpp b/src/plasp/pddl/Domain.cpp
index 5103f79..4c0002e 100644
--- a/src/plasp/pddl/Domain.cpp
+++ b/src/plasp/pddl/Domain.cpp
@@ -159,8 +159,7 @@ void Domain::parseRequirementSection()
 
 	while (m_context.parser.currentCharacter() != ')')
 	{
-		if (m_context.parser.currentCharacter() == ':')
-			m_context.parser.advance();
+		m_context.parser.expect<std::string>(":");
 
 		m_requirements.emplace_back(Requirement::parse(m_context));