search

runtimeverification / iele-semantics

Semantics of Virtual Machine for IELE prototype blockchain
Other
131 stars 33 forks source link

problem: grammar mistake #144

Closed gsovereignty closed 6 years ago

gsovereignty commented 6 years ago

solution: add 'be'.

rv-jenkins commented 6 years ago

Can one of the admins verify this patch?

dwightguth commented 6 years ago

Jenkins: test this please