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: