From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Sat, 10 Jul 2021 16:59:18 +0000 (+0100)
Subject: script lower: Fix a debug print for bottom -> heavy rename
X-Git-Tag: otter-0.7.2~143
X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~ianmdlvl/git?a=commitdiff_plain;h=316f2c4104673c6ffee99f04b85dec86966ec08e;p=otter.git

script lower: Fix a debug print for bottom -> heavy rename

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
---

diff --git a/templates/script.ts b/templates/script.ts
index 6d4e8427..c49bc141 100644
--- a/templates/script.ts
+++ b/templates/script.ts
@@ -690,7 +690,7 @@ function lower_pieces(targets_todo: LowerTodoList):
 	q_z_top = p.z;
 	xst = 'STATE -> B';
       }
-      console.log('LOWER WALK', piece, 'TODO', todo.heavy ? "B" : "_", xst);
+      console.log('LOWER WALK', piece, 'TODO', todo.heavy ? "H" : "_", xst);
       delete targets_todo[piece];
       if (!todo.heavy) n_targets_todo_light--;
       (todo.heavy ? tomove_heavy : tomove_light).push(todo);