Fix specs for Prover changes - Githubissues

starcoinorg / starcoin-framework

The Starcoin Move framework

Apache License 2.0

50 stars 27 forks source link

Fix specs for Prover changes #240

Closed xudon9 closed 1 year ago

xudon9 commented 1 year ago

Pull request type

Fix specs for prover.

Please check the type of change your PR introduces:

[x] Bugfix
[ ] Feature
[ ] Code style update (formatting, renaming)
[ ] Refactoring (no functional changes, no api changes)
[ ] Build related changes
[ ] Documentation content changes
[ ] Other (please describe):

What is the current behavior?

mpm package prove cannot pass.

What is the new behavior?

mpm package prove can pass.

Other information