From a76491b66a2e304d9ae27a162f407b98c70fbafa Mon Sep 17 00:00:00 2001
From: Normand Briere <nbriere@noware.ca>
Date: Wed, 01 May 2019 20:30:24 -0400
Subject: [PATCH] Fix flush UI.
---
RandomNode.java | 4 ++--
1 files changed, 2 insertions(+), 2 deletions(-)
diff --git a/RandomNode.java b/RandomNode.java
index 20dd4e6..d2f6489 100644
--- a/RandomNode.java
+++ b/RandomNode.java
@@ -66,7 +66,7 @@
// if (!link2master && rnd != -1)
// new Exception().printStackTrace();
- if (link2master && rnd != -1) // freeze current value
+ if (!random && rnd != -1) // freeze current value
return super.reserve(rnd);
if (firstchoice == 0)
@@ -142,7 +142,7 @@
super.get(rnd).count++;
//assert (child.count >= 0);
- if (!link2master) // volatile value
+ if (random) // volatile value
rnd = -1;
}
--
Gitblit v1.6.2