From 832a9361b632331e82a64c07baa560487ca8abde Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Tue, 29 Dec 2020 00:38:21 -0400
Subject: Moved "lux/data/number" to "lux/math/number".

---
 lux-jvm/source/luxc/lang/translation/jvm/structure.lux | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'lux-jvm/source/luxc/lang/translation/jvm/structure.lux')

diff --git a/lux-jvm/source/luxc/lang/translation/jvm/structure.lux b/lux-jvm/source/luxc/lang/translation/jvm/structure.lux
index d91ed3d14..a93b4845f 100644
--- a/lux-jvm/source/luxc/lang/translation/jvm/structure.lux
+++ b/lux-jvm/source/luxc/lang/translation/jvm/structure.lux
@@ -35,7 +35,7 @@
   ["." //
    ["#." runtime]])
 
-(exception: #export (not-a-tuple {size Nat})
+(exception: #export (not_a_tuple {size Nat})
   (exception.report
    ["Expected size" ">= 2"]
    ["Actual size" (%.nat size)]))
@@ -44,7 +44,7 @@
   (Generator (List Synthesis))
   (do {@ phase.monad}
     [#let [size (list.size members)]
-     _ (phase.assert not-a-tuple size
+     _ (phase.assert ..not_a_tuple size
                      (n.>= 2 size))
      membersI (|> members
                   list.enumeration
-- 
cgit v1.2.3