Change in Analysis

[jpf-core.git] / src / main / gov / nasa / jpf / listener / StateReducer.java

diff --git a/src/main/gov/nasa/jpf/listener/StateReducer.java b/src/main/gov/nasa/jpf/listener/StateReducer.java
index 08b27b1e7b91da07d1e66401b67d745d6b2ca81c..46676689708dd8958762961b1a17e877355a894a 100644 (file)
--- a/src/main/gov/nasa/jpf/listener/StateReducer.java
+++ b/src/main/gov/nasa/jpf/listener/StateReducer.java
@@ -509,4 +509,4 @@ public class StateReducer extends ListenerAdapter {
       }
     }
   }
-}
\ No newline at end of file
+}