From 30e1bc53e1db790dc6ec18cd419478db3fadee62 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Sat, 27 Apr 2013 20:29:00 +0000
Subject: [PATCH] Compile fix.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@6718 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/src/userinterface/util/ExpressionProperty.java | 7 -------
 1 file changed, 7 deletions(-)

diff --git a/prism/src/userinterface/util/ExpressionProperty.java b/prism/src/userinterface/util/ExpressionProperty.java
index 150f4239..4f349fe7 100644
--- a/prism/src/userinterface/util/ExpressionProperty.java
+++ b/prism/src/userinterface/util/ExpressionProperty.java
@@ -93,14 +93,7 @@ public class ExpressionProperty extends SingleProperty
         catch(PrismLangException e)
         {
             valid = false;
-            //System.out.println("Error: "+e);
         }
-        catch(PrismException e)
-        {
-            valid = false;
-            //System.out.println("Error: "+e);
-        }
-        
         super.setProperty(property);
     }