Auto merge of #2452 - Hiroki6:eval-rs-comments-typo, r=RalfJung
Auto merge of #2452 - Hiroki6:eval-rs-comments-typo, r=RalfJung

Fix typo in eval.rs

I just found some typos while reading the code

rust-lang/miri,rust-lang/miri,rust-lang/miri,rust-lang/miri