From fa68492b556ac21d79faec1fbd994882250a0f94 Mon Sep 17 00:00:00 2001
From: gereon <gereon.kremer@rwth-aachen.de>
Date: Sat, 22 Dec 2012 15:04:01 +0100
Subject: [PATCH] removing distinction between different platform using "
 \t\n\r" on all platforms now for lab parser

---
 src/parser/AtomicPropositionLabelingParser.cpp | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/src/parser/AtomicPropositionLabelingParser.cpp b/src/parser/AtomicPropositionLabelingParser.cpp
index 8469f8ef0..f5fcbc5c6 100644
--- a/src/parser/AtomicPropositionLabelingParser.cpp
+++ b/src/parser/AtomicPropositionLabelingParser.cpp
@@ -51,11 +51,7 @@ AtomicPropositionLabelingParser::AtomicPropositionLabelingParser(uint_fast64_t n
 	/*
 	 *	first run: obtain number of propositions
 	 */
-#ifdef WINDOWS
 	char separator[] = " \r\n\t";
-#else
-	char separator[] = " \n\t";
-#endif
 	bool foundDecl = false, foundEnd = false;
 	uint_fast32_t proposition_count = 0;
 	{