diff options
author | Eduardo Julian | 2022-08-12 22:26:57 -0400 |
---|---|---|
committer | Eduardo Julian | 2022-08-12 22:26:57 -0400 |
commit | 772f621c19408c711c1e587668a52a8cfeeea418 (patch) | |
tree | 94a53cae11dc6fe5d46f993fc30364490e668d16 /stdlib/source/program/aedifex/profile.lux | |
parent | 29922d1411a75f9fb4259d66e427070aae72b3d3 (diff) |
Fixes for Aedifex tests.
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/program/aedifex/profile.lux | 5 |
1 files changed, 4 insertions, 1 deletions
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 |