From 772f621c19408c711c1e587668a52a8cfeeea418 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Fri, 12 Aug 2022 22:26:57 -0400
Subject: Fixes for Aedifex tests.

---
 stdlib/source/program/aedifex/profile.lux | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

(limited to 'stdlib/source/program/aedifex/profile.lux')

diff --git a/stdlib/source/program/aedifex/profile.lux b/stdlib/source/program/aedifex/profile.lux
index 2d9d41b4c..e887160b5 100644
--- a/stdlib/source/program/aedifex/profile.lux
+++ b/stdlib/source/program/aedifex/profile.lux
@@ -164,6 +164,9 @@
   Name
   "")
 
+(type .public Configuration
+  (property.List Text))
+
 (type .public Profile
   (Record
    [#parents (List Name)
@@ -178,7 +181,7 @@
     #program (Maybe Symbol)
     #test (Maybe Symbol)
     #deploy_repositories (Dictionary Text Address)
-    #configuration (property.List Text)
+    #configuration Configuration
     #java Runtime
     #js Runtime
     #python Runtime
-- 
cgit v1.2.3