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;
 	{