Open dckc opened 3 years ago
exportDecl doesn't seem do include it, but it's used in issuer.js
exportDecl
https://github.com/Agoric/agoric-sdk/blob/ba0de38918b4bfab5bf56a01faee13ea3a30ed1f/packages/ERTP/src/issuer.js#L295
I think we should revise the definition of Jessie to allow this.
exportDecl
doesn't seem do include it, but it's used in issuer.jshttps://github.com/Agoric/agoric-sdk/blob/ba0de38918b4bfab5bf56a01faee13ea3a30ed1f/packages/ERTP/src/issuer.js#L295