From 6ac1ba2e62cb8cac1947456ab042915d75f03131 Mon Sep 17 00:00:00 2001
From: Gregor Billing <suushiemaniac@gmail.com>
Date: Sat, 5 Oct 2019 01:43:23 +0200
Subject: [PATCH] Fix threephase init status after file loading

---
 threephase/src/main/java/cs/threephase/Tools.java | 1 +
 1 file changed, 1 insertion(+)

diff --git a/threephase/src/main/java/cs/threephase/Tools.java b/threephase/src/main/java/cs/threephase/Tools.java
index 59713206f..9210f6241 100644
--- 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");