Use Module.asEffectiveStatement() 49/109349/2
authorRobert Varga <robert.varga@pantheon.tech>
Sat, 16 Dec 2023 12:07:30 +0000 (13:07 +0100)
committerRobert Varga <robert.varga@pantheon.tech>
Sat, 16 Dec 2023 12:10:12 +0000 (13:10 +0100)
Eliminate a verifyication by cleanly translating Module to
ModuleEffectiveStatement.

Change-Id: I65a08a388e54132457ac8d99d981cbd332d0c009
Signed-off-by: Robert Varga <robert.varga@pantheon.tech>

No differences found