Merge branch 'develop'

Author: DavePearce

config.xml

@@ -1,4 +1,4 @@
 <project name="BuildConfig">
-  <property name="version" value="0.4.5"/>
+  <property name="version" value="0.4.6"/>
   <property name="WYBS_JAR" value="lib/wybs-v0.3.34.jar"/>
 </project>

src/wyrw/core/Reduction.java

@@ -41,8 +41,9 @@ public int step(int from, int activation) {
 		AbstractActivation a = state.activation(activation);
 		int target = a.apply(automaton);
 		int to;
-		if (target != Automaton.K_VOID && from != target) {
+		if (target != Automaton.K_VOID && a.target() != target) {
 			// Rule application produced an updated automaton
+			automaton.minimise();
 			automaton.compact(0);
 			to = addState(automaton);
 			if(to >= states.size()) {