From 4afcadb8b68fa80d5208f8ca0e1690d6efceccc4 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Fri, 11 Apr 2008 11:10:32 +0000
Subject: [PATCH] Error in LTL type checking.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@739 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/src/parser/ast/Expression.java | 11 +++++++----
 1 file changed, 7 insertions(+), 4 deletions(-)

diff --git a/prism/src/parser/ast/Expression.java b/prism/src/parser/ast/Expression.java
index 5b161683..ae3f2e1a 100644
--- 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)";
 		}
 	}