From b0093a3849baaeb5e12692b2cf6ac65ba74bbd54 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Tue, 15 Mar 2022 22:45:49 -0400
Subject: Leaner syntax for library/lux/control/exception.report

---
 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 e7604be15..878658efe 100644
--- a/lux-jvm/source/luxc/lang/translation/jvm/structure.lux
+++ b/lux-jvm/source/luxc/lang/translation/jvm/structure.lux
@@ -39,8 +39,8 @@
 
 (exception: .public (not_a_tuple [size Nat])
   (exception.report
-   ["Expected size" ">= 2"]
-   ["Actual size" (%.nat size)]))
+   "Expected size" ">= 2"
+   "Actual size" (%.nat size)))
 
 (def: .public (tuple generate archive members)
   (Generator (List Synthesis))
-- 
cgit v1.2.3