From 46e010075a7f9459357dd1286e84043ffab69cfb Mon Sep 17 00:00:00 2001
From: dehnert <dehnert@cs.rwth-aachen.de>
Date: Tue, 20 Nov 2012 12:05:54 +0100
Subject: [PATCH] Fixed include in main file.

---
 src/mrmc-cpp.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/mrmc-cpp.cpp b/src/mrmc-cpp.cpp
index cbbeabb67..d28bcb2d0 100644
--- a/src/mrmc-cpp.cpp
+++ b/src/mrmc-cpp.cpp
@@ -25,7 +25,7 @@ PANTHEIOS_EXTERN_C PAN_CHAR_T const PANTHEIOS_FE_PROCESS_IDENTITY[] = "mrmc-cpp"
 #include "MRMCConfig.h"
 
 #include "src/sparse/static_sparse_matrix.h"
-#include "src/dtmc/atomic_proposition.h"
+#include "src/models/atomic_propositions_labeling.h"
 #include "src/parser/read_lab_file.h"
 #include "src/parser/read_tra_file.h"
 #include "Eigen/Sparse"