[Javapathfinder-devel] /javapathfinder/examples testchoices.IntChoiceFromStaticVarSet.properties,1.1,1.2

[John P. <joh...@us...>]

Update of /cvsroot/javapathfinder//javapathfinder/examples
In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv28076/examples

Modified Files:
	testchoices.IntChoiceFromStaticVarSet.properties 
Log Message:
* missing uppercase at beginning of class name - partially worked but jpf failed strangely

Index: testchoices.IntChoiceFromStaticVarSet.properties
===================================================================
RCS file: /cvsroot/javapathfinder//javapathfinder/examples/testchoices.IntChoiceFromStaticVarSet.properties,v
retrieving revision 1.1
retrieving revision 1.2
diff -u -d -r1.1 -r1.2
--- testchoices.IntChoiceFromStaticVarSet.properties	12 Sep 2005 16:25:09 -0000	1.1
+++ testchoices.IntChoiceFromStaticVarSet.properties	12 Sep 2005 18:01:30 -0000	1.2
@@ -12,7 +12,7 @@
 
 yTest.class = gov.nasa.jpf.jvm.choice.IntChoiceFromStaticVarSet
 
-yTest.values = intChoices.FIFTY, IntChoices.ONE
+yTest.values = IntChoices.FIFTY, IntChoices.ONE
 
 # expected output: (assuming values match names in IntChoices class)