mirror of
https://github.com/revng/revng
synced 2026-06-21 14:07:57 +00:00
Giacomo Vercesi
f17aa20bd7
Instead of delegating to the migration the task of increasing the model version, do it implicitly as part of the `migrate` function.
15 lines
456 B
Python
15 lines
456 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 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.
|
|
pass
|