From 313768fe3869da54aadd7317179bd35a44f95de3 Mon Sep 17 00:00:00 2001
From: Gabriel Dos Reis <gdr@axiomatics.org>
Date: Sat, 9 Jan 2016 17:01:43 -0800
Subject: instantiateNiladics\!: Tidy.

---
 src/interp/compiler.boot | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/src/interp/compiler.boot b/src/interp/compiler.boot
index 2a3f413e..433d44e7 100644
--- a/src/interp/compiler.boot
+++ b/src/interp/compiler.boot
@@ -2826,8 +2826,9 @@ instantiateNiladics! pf ==
       -- Note: Normally, we wouldn't want to touch the definiendum;
       --       except that some operators such as 'case' take flags,
       --       so we want to solve them if they are types.
-      if second(pf) is [.,:.] then
-        second(pf).args := instantiateNiladicsInList! second(pf).args
+      definiendum := first pf.args
+      if definiendum is ['case,:.] then
+        third(definiendum) := instantiateNiladics! third definiendum
       third(pf) := instantiateNiladicsInList! third pf
       fourth(pf) := instantiateNiladics! fourth pf
     pf.op is 'SIGNATURE => third(pf) := instantiateNiladicsInList! third pf
-- 
cgit v1.2.3