From 3289b9dcf9d5d1c1e5c380e3185065c8fd32535f Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Mon, 16 Aug 2021 01:12:01 -0400
Subject: Made extension-definition macros specify their bindings the same way
 as syntax:.

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

(limited to 'lux-jvm/test')

diff --git a/lux-jvm/test/test/luxc/lang/translation/jvm.lux b/lux-jvm/test/test/luxc/lang/translation/jvm.lux
index b4781b637..99af8d8c9 100644
--- a/lux-jvm/test/test/luxc/lang/translation/jvm.lux
+++ b/lux-jvm/test/test/luxc/lang/translation/jvm.lux
@@ -422,8 +422,8 @@
          class-idx (|> r.nat (:: @ map (n/% num-classes)))
          instance-idx (|> r.nat (:: @ map (n/% num-instances)))
          exception-message (r.text +5)
-         #let [class (maybe.assume (list.nth class-idx classes))
-               [instance-class instance-gen] (maybe.assume (list.nth instance-idx instances))
+         #let [class (maybe.trusted (list.nth class-idx classes))
+               [instance-class instance-gen] (maybe.trusted (list.nth instance-idx instances))
                exception-message$ (` ["java.lang.String" (~ (code.text exception-message))])]
          sample r.int
          monitor r.int
-- 
cgit v1.2.3