From 376c3e472fbb1e2656f8c61b26e0276570609aa1 Mon Sep 17 00:00:00 2001 From: Eduardo Julian Date: Mon, 13 Sep 2021 00:29:57 -0400 Subject: Updated only/except import syntax to take into account record => variant syntax change. --- stdlib/source/test/aedifex/project.lux | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'stdlib/source/test/aedifex/project.lux') diff --git a/stdlib/source/test/aedifex/project.lux b/stdlib/source/test/aedifex/project.lux index 90686e28e..cb98b38f9 100644 --- a/stdlib/source/test/aedifex/project.lux +++ b/stdlib/source/test/aedifex/project.lux @@ -1,9 +1,9 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [abstract - [monad {"+" [do]}] + [monad {"+" do}] [\\specification ["$[0]" equivalence] ["$[0]" monoid]]] @@ -14,7 +14,7 @@ ["[0]" product] ["[0]" text ("[1]#[0]" equivalence)]] [math - ["[0]" random {"+" [Random]} ("[1]#[0]" monad)] + ["[0]" random {"+" Random} ("[1]#[0]" monad)] [number ["n" nat]]]]] [// -- cgit v1.2.3