From de0ce73ec389e1cec9212fa0a6094ce9c75669e4 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Thu, 1 Jun 2006 11:57:36 +0000
Subject: [PATCH] Bugfix: Evaluation of double-valued powers by the simulator.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@52 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/src/simulator/simexpression.cc | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/prism/src/simulator/simexpression.cc b/prism/src/simulator/simexpression.cc
index 5fbd2091..21921677 100644
--- a/prism/src/simulator/simexpression.cc
+++ b/prism/src/simulator/simexpression.cc
@@ -1280,12 +1280,12 @@ int CRealPow::Get_Type()
 
 double CRealPow::EvaluateDouble()
 {
-	return pow(lexpr->Evaluate(), rexpr->Evaluate());
+	return pow(lexpr->EvaluateDouble(), rexpr->EvaluateDouble());
 }
 
 double CRealPow::EvaluateDouble(int* vars)
 {
-	return pow(lexpr->Evaluate(vars), rexpr->Evaluate(vars));
+	return pow(lexpr->EvaluateDouble(vars), rexpr->EvaluateDouble(vars));
 }
 
 bool CRealPow::One_Result()