From acf9a19a335845fc636b86ca9c555db643ebeac4 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Mon, 9 Nov 2009 10:13:47 +0000
Subject: [PATCH] Type check bug - kills simulator when using min/max.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@1551 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/src/parser/visitor/TypeCheck.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/prism/src/parser/visitor/TypeCheck.java b/prism/src/parser/visitor/TypeCheck.java
index e7d03459..fc46f700 100644
--- a/prism/src/parser/visitor/TypeCheck.java
+++ b/prism/src/parser/visitor/TypeCheck.java
@@ -405,13 +405,13 @@ public class TypeCheck extends ASTTraverse
 		case ExpressionFunc.MIN:
 		case ExpressionFunc.MAX:
 			// int if all ints, double otherwise
+			e.setType(TypeInt.getInstance());
 			for (i = 0; i < n; i++) {
 				if (types[i] instanceof TypeDouble) {
 					e.setType(TypeDouble.getInstance());
 					break;
 				}
 			}
-			e.setType(TypeInt.getInstance());
 			break;
 		case ExpressionFunc.FLOOR:
 		case ExpressionFunc.CEIL: