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;
|
