From 56d2835d35093e2d92c5e8a4371aa322b55e037b Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Sat, 4 Jun 2022 02:28:47 -0400
Subject: Extensible import syntax [Part 6]

---
 stdlib/source/test/aedifex/runtime.lux | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

(limited to 'stdlib/source/test/aedifex/runtime.lux')

diff --git a/stdlib/source/test/aedifex/runtime.lux b/stdlib/source/test/aedifex/runtime.lux
index 78ba09d07..a1ba22588 100644
--- a/stdlib/source/test/aedifex/runtime.lux
+++ b/stdlib/source/test/aedifex/runtime.lux
@@ -7,14 +7,14 @@
     [\\specification
      ["$[0]" equivalence]]]
    [control
-    ["[0]" maybe ("[1]#[0]" functor)]]
+    ["[0]" maybe (.open: "[1]#[0]" functor)]]
    [data
-    ["[0]" text ("[1]#[0]" equivalence)]
+    ["[0]" text (.open: "[1]#[0]" equivalence)]
     [collection
-     ["[0]" list ("[1]#[0]" functor)]
+     ["[0]" list (.open: "[1]#[0]" functor)]
      ["[0]" set]]]
    [math
-    ["[0]" random (.only Random) ("[1]#[0]" monad)]
+    ["[0]" random (.only Random) (.open: "[1]#[0]" monad)]
     [number
      ["n" nat]]]]]
  [\\program
-- 
cgit v1.2.3