From 7c95f1f8eef6be0499caf7824ec06b621b41505c Mon Sep 17 00:00:00 2001 From: Alexander Zaft Date: Mon, 12 Jun 2023 14:00:56 +0200 Subject: [PATCH] config: fix merge_modules Change-Id: I31d05afe300443e08fb08f9e6645401f52cfae39 Reviewed-on: https://forge.frm2.tum.de/review/c/secop/frappy/+/31323 Tested-by: Jenkins Automated Tests Reviewed-by: Alexander Zaft --- frappy/config.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/frappy/config.py b/frappy/config.py index 1b77f15..186e57a 100644 --- a/frappy/config.py +++ b/frappy/config.py @@ -125,7 +125,7 @@ class Config(dict): continue if name not in self.module_names: self.module_names.add(name) - self.modules.append(mod) + self[name] = mod def process_file(filename, log):