Bug fix in preprocessor (no type checking).

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@676 bbc10eb1-c90d-0410-af57-cb519fbb1720

prism/src/prism/Preprocessor.java

@@ -310,6 +310,7 @@ public class Preprocessor
 			// parse expression, do some checks
 			expr = prism.parseSingleExpressionString(s);
 			expr = (Expression)expr.findAllVars(varNames, varTypes);
+			expr.typeCheck();
 			expr.semanticCheck();
 		}
 		// set up new variable in interpreter
@@ -449,6 +450,7 @@ public class Preprocessor
 		// parse expression, do some checks
 		expr = prism.parseSingleExpressionString(s);
 		expr = (Expression)expr.findAllVars(varNames, varTypes);
+		expr.typeCheck();
 		expr.semanticCheck();
 		// add 
 		output += "" + expr.evaluate(null, values);