[Javapathfinder-devel] javapathfinder jpf.properties,1.1.1.1,1.2

[pcm <pcm...@us...>]

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

Modified Files:
	jpf.properties 
Log Message:
fixes rather embarrasing index screwup in ElementInfo when accesing Long/Double array
elements (the index in Fields is int[] based, so it has to be adjusted *2)


Index: jpf.properties
===================================================================
RCS file: /cvsroot/javapathfinder/javapathfinder/jpf.properties,v
retrieving revision 1.1.1.1
retrieving revision 1.2
diff -u -d -r1.1.1.1 -r1.2
--- jpf.properties	26 Apr 2005 19:43:02 -0000	1.1.1.1
+++ jpf.properties	29 Jul 2005 21:02:25 -0000	1.2
@@ -4,7 +4,7 @@
 
 
 
-# search.class = gov.nasa.jpf.search.heuristic.BFSHeuristic
+# search.class = gov.nasa.jpf.search.heuristic.HeuristicSearch
 # search.heuristic.class = gov.nasa.jpf.search.heuristic.BFSHeuristic
 # search.heuristic.comparator.class = gov.nasa.jpf.search.heuristic.DefaultComparator
 # search.min_free = 1M