Fixed a typo in the new class.

diff --git a/src/main/gov/nasa/jpf/listener/DPORStateReducerMainStatesWithSummary.java b/src/main/gov/nasa/jpf/listener/DPORStateReducerMainStatesWithSummary.java
index c99599f3d238035ac3df7618cb61c70a6212bc3c..6273b2455ac582a8d1e5ac106e08d6afdd53f224 100755 (executable)
--- a/src/main/gov/nasa/jpf/listener/DPORStateReducerMainStatesWithSummary.java
+++ b/src/main/gov/nasa/jpf/listener/DPORStateReducerMainStatesWithSummary.java
@@ -41,7 +41,7 @@ import java.util.logging.Logger;
  * - we find a state that matches a state in a previous run, or
  * - we have a matched state in the current run that consists of cycles that contain all choices/events.
  */
-public class DPORStateReducerWithSummary extends ListenerAdapter {
+public class DPORStateReducerMainStatesWithSummary extends ListenerAdapter {
 
   // Information printout fields for verbose mode
   private boolean verboseMode;
@@ -83,7 +83,7 @@ public class DPORStateReducerWithSummary extends ListenerAdapter {
   // Statistics
   private int numOfTransitions;
 
-  public DPORStateReducerWithSummary(Config config, JPF jpf) {
+  public DPORStateReducerMainStatesWithSummary(Config config, JPF jpf) {
     verboseMode = config.getBoolean("printout_state_transition", false);
     stateReductionMode = config.getBoolean("activate_state_reduction", true);
     if (verboseMode) {