From e00ba096c8837abe85d366e0c1293c09dbe84d81 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Wed, 18 Aug 2021 03:29:15 -0400
Subject: Some bug fixes.

---
 stdlib/source/specification/compositor/generation/structure.lux | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'stdlib/source/specification/compositor/generation/structure.lux')

diff --git a/stdlib/source/specification/compositor/generation/structure.lux b/stdlib/source/specification/compositor/generation/structure.lux
index b1f0e5666..de61ed882 100644
--- a/stdlib/source/specification/compositor/generation/structure.lux
+++ b/stdlib/source/specification/compositor/generation/structure.lux
@@ -33,11 +33,11 @@
   (do {! r.monad}
     [num_tags (|> r.nat (\ ! map (|>> (n.% 10) (n.max 2))))
      tag_in (|> r.nat (\ ! map (n.% num_tags)))
-     .let [last?_in (|> num_tags dec (n.= tag_in))]
+     .let [last?_in (|> num_tags -- (n.= tag_in))]
      value_in r.i64]
     (_.test (%.name (name_of synthesis.variant))
             (|> (synthesis.variant {#analysis.lefts (if last?_in
-                                                      (dec tag_in)
+                                                      (-- tag_in)
                                                       tag_in)
                                     #analysis.right? last?_in
                                     #analysis.value (synthesis.i64 value_in)})
-- 
cgit v1.2.3