From 57f7adee55445e836eb920447bddba32f2cc2282 Mon Sep 17 00:00:00 2001
From: gereon <gereon.kremer@rwth-aachen.de>
Date: Tue, 4 Dec 2012 20:14:14 +0100
Subject: [PATCH] added <double> to occurences of PCTLFormula

---
 src/parser/readPrctlFile.h | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/parser/readPrctlFile.h b/src/parser/readPrctlFile.h
index 8aceefd87..a011f15d7 100644
--- 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