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/artifact/type.lux | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'stdlib/source/test/aedifex/artifact/type.lux') diff --git a/stdlib/source/test/aedifex/artifact/type.lux b/stdlib/source/test/aedifex/artifact/type.lux index de596592b..a2b5926e5 100644 --- a/stdlib/source/test/aedifex/artifact/type.lux +++ b/stdlib/source/test/aedifex/artifact/type.lux @@ -10,7 +10,7 @@ ["[0]" set] ["[0]" list]]] [math - ["[0]" random (.only Random) ("[1]#[0]" monad)] + ["[0]" random (.only Random) (.open: "[1]#[0]" monad)] [number ["n" nat]]]]] [\\program -- cgit v1.2.3