mirror of
https://github.com/revng/revng
synced 2026-06-21 14:07:57 +00:00
Ivan Krysak
19 lines
511 B
Python
19 lines
511 B
Python
#
|
|
# This file is distributed under the MIT License. See LICENSE.md for details.
|
|
#
|
|
|
|
from revng.model.migrations import MigrationBase
|
|
|
|
|
|
class Migration(MigrationBase):
|
|
def __init__(self):
|
|
pass
|
|
|
|
def migrate(self, model):
|
|
# no explicit migration necessary as both of the new data structures
|
|
# (`model::Function::LocalVariables()` and
|
|
# `model::Function::GotoLabels()`) are default-initializable.
|
|
# Same for the new configuration option.
|
|
|
|
model["Version"] = 5
|