From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Sat, 10 Jul 2021 17:12:29 +0000 (+0100)
Subject: script lower: Fix ordering of partP and partQ
X-Git-Tag: otter-0.7.2~141
X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~ianmdlvl/git?a=commitdiff_plain;h=51840ec92410c2adbcb9b3edb4fcb8a542184c22;p=otter.git

script lower: Fix ordering of partP and partQ

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

diff --git a/templates/script.ts b/templates/script.ts
index e3ed01d9..a26f50f6 100644
--- a/templates/script.ts
+++ b/templates/script.ts
@@ -735,7 +735,7 @@ function lower_pieces(targets_todo: LowerTodoList):
 
   if (nomove_heavy.length == 0) {
     plan.push({
-      content: partQ.concat(partP),
+      content: partP.concat(partQ),
       z_top: q_z_top,
       z_bot : null,
     });