explicit private constructor was not needed after all

12 years ago · 75d61d3af3
2 changed files with 0 additions and 12 deletions
--- 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
--- 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