From 880cb37c261df20b7b8d968a909557bbc63d6b7f Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Wed, 8 Sep 2021 18:57:27 -0400
Subject: Normalized syntax of "exception:", "actor:" and "message:".

---
 lux-jvm/source/luxc/lang/translation/jvm/structure.lux | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(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 2a688f4cc..e1c0c9f5f 100644
--- a/lux-jvm/source/luxc/lang/translation/jvm/structure.lux
+++ b/lux-jvm/source/luxc/lang/translation/jvm/structure.lux
@@ -37,7 +37,7 @@
   ["[0]" //
    ["[1][0]" runtime]])
 
-(exception: .public (not_a_tuple {size Nat})
+(exception: .public (not_a_tuple [size Nat])
   (exception.report
    ["Expected size" ">= 2"]
    ["Actual size" (%.nat size)]))
-- 
cgit v1.2.3