Fix typos in comments

This commit is contained in:
shuoer86 2023-11-04 23:29:42 +08:00
parent a0ea26f4b2
commit d941539bb8
No known key found for this signature in database
GPG Key ID: 84A704A15F88ADAD

View File

@ -75,7 +75,7 @@ pub(crate) const JUMPDEST_OP: StackBehavior = StackBehavior {
// AUDITORS: If the value below is `None`, then the operation must be manually checked to ensure
// that every general-purpose memory channel is either disabled or has its read flag and address
// property constrained. The same applies when `disable_other_channels` is set to `false`,
// properly constrained. The same applies when `disable_other_channels` is set to `false`,
// except the first `num_pops` and the last `pushes as usize` channels have their read flag and
// address constrained automatically in this file.
pub(crate) const STACK_BEHAVIORS: OpsColumnsView<Option<StackBehavior>> = OpsColumnsView {