From 767680537e9451c690b612d4c87b1349eae934fe Mon Sep 17 00:00:00 2001 From: PBerger Date: Thu, 13 Jun 2013 15:35:07 +0200 Subject: [PATCH] Added missing namespaces to Parser functions Former-commit-id: ac193ecc127f58fb97fa9a78410936a650609799 --- src/parser/Parser.cpp | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/parser/Parser.cpp b/src/parser/Parser.cpp index 36fd4483d..da2c7bb93 100644 --- a/src/parser/Parser.cpp +++ b/src/parser/Parser.cpp @@ -102,7 +102,7 @@ storm::parser::SupportedLineEndingsEnum storm::parser::findUsedLineEndings(std:: /*! * @brief Encapsulates the usage of function @strchr to forward to the next line */ -char* forwardToNextLine(char* buffer, storm::parser::SupportedLineEndingsEnum lineEndings) { +char* storm::parser::forwardToNextLine(char* buffer, storm::parser::SupportedLineEndingsEnum lineEndings) { switch (lineEndings) { case storm::parser::SupportedLineEndingsEnum::SlashN: return strchr(buffer, '\n') + 1; @@ -127,7 +127,7 @@ char* forwardToNextLine(char* buffer, storm::parser::SupportedLineEndingsEnum li * @param targetBuffer The Target for the hint, must be at least 64 bytes long * @param buffer The Source Buffer from which the Model Hint will be read */ -void scanForModelHint(char* targetBuffer, uint_fast64_t targetBufferSize, char const* buffer, storm::parser::SupportedLineEndingsEnum lineEndings) { +void storm::parser::scanForModelHint(char* targetBuffer, uint_fast64_t targetBufferSize, char const* buffer, storm::parser::SupportedLineEndingsEnum lineEndings) { if (targetBufferSize <= 4) { throw; }