Error in LTL type checking.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@739 bbc10eb1-c90d-0410-af57-cb519fbb1720
18 years ago · 4afcadb8b6
1 changed files with 7 additions and 4 deletions
--- a/prism/src/parser/ast/Expression.java
+++ b/prism/src/parser/ast/Expression.java
@ -45,10 +45,13 @@ public abstract class Expression extends ASTElement
 	// and a function to get at their names
 	public static String getTypeString(int i) {
 		switch (i) {
-			case INT: return "int";
-			case DOUBLE: return "double";
-			case BOOLEAN: return "bool";
-			default: return "(unknown)";
+		case INT: return "int";
+		case DOUBLE: return "double";
+		case BOOLEAN: return "bool";
+		case PATH_INT: return "path-int";
+		case PATH_DOUBLE: return "path-double";
+		case PATH_BOOLEAN: return "path-bool";
+		default: return "(unknown)";
 		}
 	}