From 54e52b5ab7f9300e18eb3807ba3e7bd1c98a0f0c Mon Sep 17 00:00:00 2001
From: gereon <gereon.kremer@rwth-aachen.de>
Date: Thu, 6 Dec 2012 20:10:02 +0100
Subject: [PATCH] dtmc.h -> Dtmc.h

---
 src/modelChecker/GmmxxDtmcPrctlModelChecker.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/modelChecker/GmmxxDtmcPrctlModelChecker.h b/src/modelChecker/GmmxxDtmcPrctlModelChecker.h
index 9d9c0aad2..696a86c1e 100644
--- a/src/modelChecker/GmmxxDtmcPrctlModelChecker.h
+++ b/src/modelChecker/GmmxxDtmcPrctlModelChecker.h
@@ -10,7 +10,7 @@
 
 #include "src/utility/vector.h"
 
-#include "src/models/dtmc.h"
+#include "src/models/Dtmc.h"
 #include "src/modelChecker/DtmcPrctlModelChecker.h"
 #include "src/solver/GraphAnalyzer.h"