src/contracts: Modification of contract weaving
authorFlorian Deljarry <deljarry.florian@gmail.com>
Mon, 15 Jun 2020 15:08:06 +0000 (11:08 -0400)
committerFlorian Deljarry <deljarry.florian@gmail.com>
Wed, 1 Jul 2020 19:59:39 +0000 (15:59 -0400)
commitbe259b4353e4356b183cb38a37fda83c67efd02b
tree06c9a18d55c3e576fa69d514a187b0cea876a13f
parent0c011f8e44fdca649f39ba2ae7a4c2476b17093b
src/contracts: Modification of contract weaving

Add the implementation of `process_nmodule_after_phases` in order to do the weaving of contracts

Signed-off-by: Florian Deljarry <deljarry.florian@gmail.com>
src/contracts.nit