From 75d61d3af3e7cd119ddca532d69f6c839122a025 Mon Sep 17 00:00:00 2001
From: gereon <gereon.kremer@rwth-aachen.de>
Date: Sat, 23 Feb 2013 16:59:44 +0100
Subject: [PATCH] explicit private constructor was not needed after all

---
 src/modelchecker/DtmcPrctlModelChecker.h | 6 ------
 src/modelchecker/MdpPrctlModelChecker.h  | 6 ------
 2 files changed, 12 deletions(-)

diff --git a/src/modelchecker/DtmcPrctlModelChecker.h b/src/modelchecker/DtmcPrctlModelChecker.h
index a31caac13..0e16dca5f 100644
--- a/src/modelchecker/DtmcPrctlModelChecker.h
+++ b/src/modelchecker/DtmcPrctlModelChecker.h
@@ -41,12 +41,6 @@ template<class Type>
 class DtmcPrctlModelChecker : 
 	public AbstractModelChecker<Type> {
 
-private:
-	/*!
-	 *	Make default constructor private.
-	 */
-	explicit DtmcPrctlModelChecker() {}
-
 public:
 	/*!
 	 * Constructor
diff --git a/src/modelchecker/MdpPrctlModelChecker.h b/src/modelchecker/MdpPrctlModelChecker.h
index 319efd12a..b71d1d934 100644
--- a/src/modelchecker/MdpPrctlModelChecker.h
+++ b/src/modelchecker/MdpPrctlModelChecker.h
@@ -42,12 +42,6 @@ template<class Type>
 class MdpPrctlModelChecker :
 	public AbstractModelChecker<Type> {
 
-private:
-	/*!
-	 *	Make default constructor private.
-	 */
-	explicit MdpPrctlModelChecker() {}
-
 public:
 	/*!
 	 * Constructor