From 0abd5bd3c0e38e352e9ba38268e04e1c858ab01e Mon Sep 17 00:00:00 2001 From: Eduardo Julian Date: Thu, 15 Jul 2021 00:45:15 -0400 Subject: Re-named "spec" hierarchy to "specification". --- stdlib/source/test/aedifex/profile.lux | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'stdlib/source/test/aedifex/profile.lux') diff --git a/stdlib/source/test/aedifex/profile.lux b/stdlib/source/test/aedifex/profile.lux index 418756ffd..c593f1706 100644 --- a/stdlib/source/test/aedifex/profile.lux +++ b/stdlib/source/test/aedifex/profile.lux @@ -5,7 +5,7 @@ [abstract [monad (#+ do)] [hash (#+ Hash)] - [\\spec + [\\specification ["$." equivalence] ["$." monoid]]] [control -- cgit v1.2.3