diff options
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/parse_registries.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/scripts/parse_registries.py b/scripts/parse_registries.py index 369bebf582..3f1fd27e72 100755 --- a/scripts/parse_registries.py +++ b/scripts/parse_registries.py @@ -232,7 +232,7 @@ def main(): if "base" in registries: files.append( make_getter( - "Base.1.13.0.json", "base_message_registry.hpp", "base" + "Base.1.16.0.json", "base_message_registry.hpp", "base" ) ) if "task_event" in registries: @@ -246,7 +246,7 @@ def main(): if "resource_event" in registries: files.append( make_getter( - "ResourceEvent.1.0.3.json", + "ResourceEvent.1.3.0.json", "resource_event_message_registry.hpp", "resource_event", ) |