[Javapathfinder-devel] javapathfinder/src/gov/nasa/jpf/search/heuristic Interleaving.java,1.1.1.1,1.2

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

Update of /cvsroot/javapathfinder/javapathfinder/src/gov/nasa/jpf/search/heuristic
In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv23006

Modified Files:
	Interleaving.java 
Log Message:
ctor must be public so that we can instantiate via Config


Index: Interleaving.java
===================================================================
RCS file: /cvsroot/javapathfinder/javapathfinder/src/gov/nasa/jpf/search/heuristic/Interleaving.java,v
retrieving revision 1.1.1.1
retrieving revision 1.2
diff -u -d -r1.1.1.1 -r1.2
--- Interleaving.java	26 Apr 2005 19:44:20 -0000	1.1.1.1
+++ Interleaving.java	10 Aug 2005 16:31:39 -0000	1.2
@@ -35,7 +35,7 @@
   VM              vm;
   int             threadHistoryLimit;
 
-  Interleaving (Config config, HeuristicSearch hSearch) {
+  public Interleaving (Config config, HeuristicSearch hSearch) {
     vm = hSearch.getVM();
     search = hSearch;