search

makerdao / mkr-mcd-spec

High level KSpecification for the MCD System by Runtime Verification and Maker Foundation
GNU General Public License v3.0
28 stars 9 forks source link

Remove call from `Vow` in prelude #201

Closed ehildenb closed 4 years ago

ehildenb commented 4 years ago

This removes the last remaining invalid call in the prelude, and fixes that call in the Vow constructor.

Now, all calls in the preludes are from ADMIN, ANYONE, "Bobby", or "Alice", and not form internal MCD contracts (which doesn't make much sense because those contracts can't initiate calls).