Added newlines to end of files, because clang++ complains about that. Added case distinction of struct definition in parser.h for Mac OS to work correctly with parser.cpp.

src/parser/parser.h

@@ -64,12 +64,20 @@ namespace parser {
 			HANDLE mapping;
 #endif
 			
-#if defined LINUX || defined MACOSX
+#if defined LINUX
 			/*!
 			 *	@brief stat information about the file.
 			 */
 			struct stat64 st;
+#elif defined MACOSX
+			/*!
+			 *	@brief stat information about the file.
+			 */
+			struct stat st;
 #elif defined WINDOWS
+			/*!
+			 *	@brief stat information about the file.
+			 */
 			struct __stat64 st;
 #endif
 			
@@ -98,4 +106,4 @@ namespace parser {
 } // namespace parser
 } // namespace mrmc
 
-#endif /* PARSER_H_ */
+#endif /* PARSER_H_ */

src/parser/readLabFile.h

@@ -16,4 +16,4 @@ mrmc::models::AtomicPropositionsLabeling * readLabFile(uint_fast64_t node_count,
 } // namespace parser
 } // namespace mrmc
 
-#endif /* READLABFILE_H_ */
+#endif /* READLABFILE_H_ */

src/parser/readPrctlFile.cpp

@@ -120,4 +120,4 @@ mrmc::formula::PCTLFormula* mrmc::parser::readPrctlFile(const char* filename)
 		return p.result;
 	}
 	else return NULL;
-}
+}

src/parser/readPrctlFile.h

@@ -14,4 +14,4 @@ mrmc::formula::PCTLFormula* readPrctlFile(const char * filename);
 } // namespace parser
 } // namespace mrmc
 
-#endif /* READPRCTLFILE_H_ */
+#endif /* READPRCTLFILE_H_ */

src/parser/readTraFile.h

@@ -15,4 +15,4 @@ mrmc::storage::SquareSparseMatrix<double> * readTraFile(const char * filename);
 } // namespace parser
 } // namespace mrmc
 
-#endif /* READTRAFILE_H_ */
+#endif /* READTRAFILE_H_ */