Skip to content

Fix: move Tezos.create_contract check of free variables to aggregated

E. Rivas requested to merge er433/fix/modules+create_contract into dev

type:fixed

This MR fixes #1396 (closed) by moving the free variables calculation of a Tezos.create_contract to ast_aggregated, where modules have been resolved already.

Edited by E. Rivas

Merge request reports