diff --git a/arch/arch_config_schema.yaml b/arch/arch_config_schema.yaml index a71ed1d5..e71e7134 100644 --- a/arch/arch_config_schema.yaml +++ b/arch/arch_config_schema.yaml @@ -149,7 +149,7 @@ properties: properties: random_sampling: type: integer - trace_arch: + trace_arch_internal: type: boolean additionalProperties: false mode: