From 013b62f232d0972bec9400c27a2fae7b7cf209d1 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Fri, 17 Nov 2006 16:28:48 +0000
Subject: [PATCH] Default value of new properties file label in GUI is now
 "true" so adding a new label is less problematic.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@162 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/src/userinterface/properties/GUIPropLabelList.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/prism/src/userinterface/properties/GUIPropLabelList.java b/prism/src/userinterface/properties/GUIPropLabelList.java
index 12248379..37b40848 100644
--- a/prism/src/userinterface/properties/GUIPropLabelList.java
+++ b/prism/src/userinterface/properties/GUIPropLabelList.java
@@ -176,7 +176,7 @@ public class GUIPropLabelList extends JTable
 		
 		public void addLabel()
 		{
-			labels.add(new GUILabel("L"+labCount, null));
+			labels.add(new GUILabel("L"+labCount, new ExpressionTrue()));
 			parent.setModified(true);
 			fireTableRowsInserted(labels.size()-1, labels.size()-1);
 			labCount++;