added <double> to occurences of PCTLFormula

13 years ago · 57f7adee55
1 changed files with 2 additions and 2 deletions
--- a/src/parser/readPrctlFile.h
+++ b/src/parser/readPrctlFile.h
@ -18,13 +18,13 @@ class PRCTLParser : Parser
 		/*!
 		 *	@brief return formula object parsed from file.
 		 */
 		mrmc::formula::PCTLFormula* getFormula()
 		mrmc::formula::PCTLFormula<double>* getFormula()
 		{
 			return this->formula;
 		}
 	private:
 		mrmc::formula::PCTLFormula* formula;
 		mrmc::formula::PCTLFormula<double>* formula;
 };
 } // namespace parser