Fix threephase init status after file loading

thewca · Jan 8, 2020 · bd79c97 · bd79c97
1 parent 4be6ae4
commit bd79c97
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/threephase/src/main/java/cs/threephase/Tools.java b/threephase/src/main/java/cs/threephase/Tools.java
@@ -58,6 +58,7 @@ public synchronized static void initFrom(DataInput in) throws IOException {
 		Edge3.initMvrot();
 		Edge3.initRaw2Sym();
 		read(Edge3.eprun, in);
+		Edge3.done = Edge3.prunValues[Edge3.MAX_DEPTH - 1];
 
 		System.out.println("OK");