diff --git a/src/parser/parser.h b/src/parser/parser.h index 43dbe4637..91ede4b3f 100644 --- a/src/parser/parser.h +++ b/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_ */ \ No newline at end of file +#endif /* PARSER_H_ */ diff --git a/src/parser/readLabFile.h b/src/parser/readLabFile.h index 103fe5570..057773348 100644 --- a/src/parser/readLabFile.h +++ b/src/parser/readLabFile.h @@ -16,4 +16,4 @@ mrmc::models::AtomicPropositionsLabeling * readLabFile(uint_fast64_t node_count, } // namespace parser } // namespace mrmc -#endif /* READLABFILE_H_ */ \ No newline at end of file +#endif /* READLABFILE_H_ */ diff --git a/src/parser/readPrctlFile.cpp b/src/parser/readPrctlFile.cpp index 737f6e61a..40aa6deb4 100644 --- a/src/parser/readPrctlFile.cpp +++ b/src/parser/readPrctlFile.cpp @@ -120,4 +120,4 @@ mrmc::formula::PCTLFormula* mrmc::parser::readPrctlFile(const char* filename) return p.result; } else return NULL; -} \ No newline at end of file +} diff --git a/src/parser/readPrctlFile.h b/src/parser/readPrctlFile.h index c9f8ba470..80393482d 100644 --- a/src/parser/readPrctlFile.h +++ b/src/parser/readPrctlFile.h @@ -14,4 +14,4 @@ mrmc::formula::PCTLFormula* readPrctlFile(const char * filename); } // namespace parser } // namespace mrmc -#endif /* READPRCTLFILE_H_ */ \ No newline at end of file +#endif /* READPRCTLFILE_H_ */ diff --git a/src/parser/readTraFile.h b/src/parser/readTraFile.h index 0f9617ba1..a4f2a7aef 100644 --- a/src/parser/readTraFile.h +++ b/src/parser/readTraFile.h @@ -15,4 +15,4 @@ mrmc::storage::SquareSparseMatrix * readTraFile(const char * filename); } // namespace parser } // namespace mrmc -#endif /* READTRAFILE_H_ */ \ No newline at end of file +#endif /* READTRAFILE_H_ */