From e632fc1bb61fa48ce9d429355d14bb465341c7ab Mon Sep 17 00:00:00 2001
From: gereon <gereon.kremer@rwth-aachen.de>
Date: Mon, 26 Nov 2012 23:21:59 +0100
Subject: [PATCH] fixing error & warning...

---
 src/models/AtomicPropositionsLabeling.h | 2 +-
 src/utility/utility.h                   | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/models/AtomicPropositionsLabeling.h b/src/models/AtomicPropositionsLabeling.h
index 30900f0c3..f7d0e28e6 100644
--- a/src/models/AtomicPropositionsLabeling.h
+++ b/src/models/AtomicPropositionsLabeling.h
@@ -188,7 +188,7 @@ public:
 				<< this->singleLabelings[ap.second]->getNumberOfSetBits();
 			out << " state(s)" << std::endl;
 		}
-		for(int i = 0; i < apCountMax; ++i) {
+		for(unsigned int i = 0; i < apCountMax; ++i) {
 			std::cout << "iterator " << i << std::endl;
 			for(auto it = this->singleLabelings[i]->begin(); it != this->singleLabelings[i]->end(); ++it) {
 				out << "next value: " << *it << std::endl;
diff --git a/src/utility/utility.h b/src/utility/utility.h
index 464ccecb6..65eb9113f 100644
--- a/src/utility/utility.h
+++ b/src/utility/utility.h
@@ -8,7 +8,7 @@
 #ifndef UTILITY_H_
 #define UTILITY_H_
 
-#include "src/models/dtmc.h"
+#include "src/models/Dtmc.h"
 
 namespace mrmc  {