mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

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

Browse Source 
Fix typo in eval.rs

I just found some typos while reading the code
This commit is contained in:
bors 2022-07-31 16:04:51 +00:00
commit 8aab6bb164
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/eval.rs
View File

@ -246,7 +246,7 @@ pub fn create_ecx<'mir, 'tcx: 'mir>(
} }
// Store command line as UTF-16 for Windows `GetCommandLineW`. // Store command line as UTF-16 for Windows `GetCommandLineW`.
{ {
// Construct a command string with all the aguments. // Construct a command string with all the arguments.
let cmd_utf16: Vec<u16> = args_to_utf16_command_string(config.args.iter()); let cmd_utf16: Vec<u16> = args_to_utf16_command_string(config.args.iter());
let cmd_type = tcx.mk_array(tcx.types.u16, u64::try_from(cmd_utf16.len()).unwrap()); let cmd_type = tcx.mk_array(tcx.types.u16, u64::try_from(cmd_utf16.len()).unwrap());
@ -311,7 +311,7 @@ pub fn create_ecx<'mir, 'tcx: 'mir>(
/// Evaluates the entry function specified by `entry_id`. /// Evaluates the entry function specified by `entry_id`.
/// Returns `Some(return_code)` if program executed completed. /// Returns `Some(return_code)` if program executed completed.
/// Returns `None` if an evaluation error occured. /// Returns `None` if an evaluation error occurred.
pub fn eval_entry<'tcx>( pub fn eval_entry<'tcx>(
tcx: TyCtxt<'tcx>, tcx: TyCtxt<'tcx>,
entry_id: DefId, entry_id: DefId,