Browse Source

Compile fix.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@6718 bbc10eb1-c90d-0410-af57-cb519fbb1720
master
Dave Parker 13 years ago
parent
commit
30e1bc53e1
  1. 7
      prism/src/userinterface/util/ExpressionProperty.java

7
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);
}

Loading…
Cancel
Save