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/source/program.lux | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'lux-jvm/source/program.lux')

diff --git a/lux-jvm/source/program.lux b/lux-jvm/source/program.lux
index 72a245f9d..767101102 100644
--- a/lux-jvm/source/program.lux
+++ b/lux-jvm/source/program.lux
@@ -213,7 +213,7 @@
     [instanceG (function.function' (#.Some [0 (.nat -1)]) expression.translate archive [(list) 4 ..how_to_wrap_a_phase])
      phase_wrapper (generation.evaluate! [0 (.nat -2)] instanceG)]
     (in (function (_ phase)
-          (<| try.assumed
+          (<| try.trusted
               (: (Try java/lang/Object))
               (do try.monad
                 [apply_method (|> phase_wrapper
@@ -255,7 +255,7 @@
       (:as Operation)
       (function (@self state))
       (:as Try)
-      try.assumed
+      try.trusted
       (:as Try)
       (do try.monad
         [method (|> handler
-- 
cgit v1.2.3