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