diff options
Diffstat (limited to '')
-rw-r--r-- | lux-jvm/source/luxc/lang/translation/jvm/structure.lux | 4 |
1 files changed, 2 insertions, 2 deletions
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)) |