From ee4f2bd9a2edf15ce48347021ec39a0b6bb5ca66 Mon Sep 17 00:00:00 2001
From: gereon <gereon.kremer@rwth-aachen.de>
Date: Sun, 2 Dec 2012 00:46:24 +0100
Subject: [PATCH] changed to new parser names

---
 src/mrmc.cpp | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/src/mrmc.cpp b/src/mrmc.cpp
index 5402cab10..963b157d1 100644
--- a/src/mrmc.cpp
+++ b/src/mrmc.cpp
@@ -20,8 +20,8 @@
 #include "src/models/Dtmc.h"
 #include "src/storage/SquareSparseMatrix.h"
 #include "src/models/AtomicPropositionsLabeling.h"
-#include "src/parser/read_lab_file.h"
-#include "src/parser/read_tra_file.h"
+#include "src/parser/readLabFile.h"
+#include "src/parser/readTraFile.h"
 #include "src/utility/settings.h"
 #include "Eigen/Sparse"
 
@@ -83,8 +83,8 @@ int main(const int argc, const char* argv[]) {
 		return 0;
 	}
 
-	mrmc::storage::SquareSparseMatrix<double>* probMatrix = mrmc::parser::read_tra_file(s->getString("trafile").c_str());
-	mrmc::models::AtomicPropositionsLabeling* labeling = mrmc::parser::read_lab_file(probMatrix->getRowCount(), s->getString("labfile").c_str());
+	mrmc::storage::SquareSparseMatrix<double>* probMatrix = mrmc::parser::readTraFile(s->getString("trafile").c_str());
+	mrmc::models::AtomicPropositionsLabeling* labeling = mrmc::parser::readLabFile(probMatrix->getRowCount(), s->getString("labfile").c_str());
 	mrmc::models::Dtmc<double> dtmc(probMatrix, labeling);
 
 	dtmc.printModelInformationToStream(std::cout);