[Javapathfinder-devel] javapathfinder/src/gov/nasa/jpf/jvm/choice IntChoiceFromSet.java,1.3,1.4

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

Update of /cvsroot/javapathfinder/javapathfinder/src/gov/nasa/jpf/jvm/choice
In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv5731/src/gov/nasa/jpf/jvm/choice

Modified Files:
	IntChoiceFromSet.java 
Log Message:
* added some static constants for examples
	
		

Index: IntChoiceFromSet.java
===================================================================
RCS file: /cvsroot/javapathfinder/javapathfinder/src/gov/nasa/jpf/jvm/choice/IntChoiceFromSet.java,v
retrieving revision 1.3
retrieving revision 1.4
diff -u -d -r1.3 -r1.4
--- IntChoiceFromSet.java	11 Sep 2005 16:16:14 -0000	1.3
+++ IntChoiceFromSet.java	12 Sep 2005 16:23:20 -0000	1.4
@@ -1,4 +1,4 @@
-//
+ //
 //Copyright (C) 2005 United States Government as represented by the
 //Administrator of the National Aeronautics and Space Administration
 //(NASA).  All Rights Reserved.