From 17b830639414c234578500c133a8d9f2ee3a6af9 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Patrick=20L=C3=BChne?= <patrick-github@luehne.de>
Date: Mon, 19 Jun 2017 01:02:50 +0200
Subject: [PATCH] Minor refactoring, as there is only one typing section.

---
 .../src/pddlparse/detail/parsing/PrimitiveTypeDeclaration.cpp   | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/lib/pddlparse/src/pddlparse/detail/parsing/PrimitiveTypeDeclaration.cpp b/lib/pddlparse/src/pddlparse/detail/parsing/PrimitiveTypeDeclaration.cpp
index 6a19d6f..7b3cb6e 100644
--- a/lib/pddlparse/src/pddlparse/detail/parsing/PrimitiveTypeDeclaration.cpp
+++ b/lib/pddlparse/src/pddlparse/detail/parsing/PrimitiveTypeDeclaration.cpp
@@ -59,9 +59,9 @@ void parseAndAddPrimitiveTypeDeclarations(Context &context, ast::Domain &domain)
 	tokenizer.skipWhiteSpace();
 
 	auto &types = domain.types;
+	assert(types.empty());
 
 	std::vector<bool> flaggedTypes;
-	flaggedTypes.resize(types.size(), false);
 
 	while (tokenizer.currentCharacter() != ')')
 	{