1 files changed, 1 insertions, 1 deletions

diff --git a/config.yml b/config.yml
index 7b7853ea..49df14cc 100644
--- a/config.yml
+++ b/config.yml
@@ -84,7 +84,7 @@ interface:
   - /if/build-options/domain
   - /if/compiler/domain
   - /if/use/domain
-  interface-domains:
+  domains:
     rtems: external/rtems
 spec-verification:
   root-type: /spec/root