diff options
author | Maria Matejka <mq@ucw.cz> | 2022-05-30 15:43:13 +0200 |
---|---|---|
committer | Maria Matejka <mq@ucw.cz> | 2022-05-30 15:43:13 +0200 |
commit | 54344f15f8a6a6f5f0388097a1825a9c08c17482 (patch) | |
tree | 85af19e3330719d3486efdf8a12fc5f9549b72ac /nest/config.Y | |
parent | 3752654852f4962465154257348000d6de1c2dae (diff) | |
parent | 0d0f6554a5c233bf2bf830ae319191c4b1808d49 (diff) |
Merge commit '0d0f6554a5c233bf2bf830ae319191c4b1808d49' into haugesund
Diffstat (limited to 'nest/config.Y')
-rw-r--r-- | nest/config.Y | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/nest/config.Y b/nest/config.Y index 7d266bbc..3152aec2 100644 --- a/nest/config.Y +++ b/nest/config.Y @@ -924,7 +924,7 @@ proto_patt2: | TEXT { $$.ptr = $1; $$.patt = 1; } ; -dynamic_attr: IGP_METRIC { $$ = f_new_dynamic_attr(EAF_TYPE_INT, T_INT, EA_GEN_IGP_METRIC); } ; +dynamic_attr: IGP_METRIC { $$ = f_new_dynamic_attr(T_INT, EA_GEN_IGP_METRIC); } ; CF_CODE |