T0b1/wasmtime
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Remove an unneeded block.

Browse Source
This commit is contained in:
Dan Gohman
2017-10-04 12:21:49 -07:00
parent b4e7e918cc
commit fc857a758e
1 changed files with 10 additions and 12 deletions
Download Patch File Download Diff File Expand all files Collapse all files

22
src/main.rs
View File

@@ -363,18 +363,16 @@ fn pretty_print_translation(
} }
_ => panic!("wrong content in code section"), _ => panic!("wrong content in code section"),
} }
{ loop {
loop { match parser.read() {
match parser.read() { s @ &ParserState::EndFunctionBody => {
s @ &ParserState::EndFunctionBody => { parser_writer.write(s)?;
parser_writer.write(s)?; break;
break; }
} s => {
s => { parser_writer.write(s)?;
parser_writer.write(s)?; }
} };
};
}
} }
let mut function_string = let mut function_string =
format!(" {}", translation.functions[function_index].display(isa)); format!(" {}", translation.functions[function_index].display(isa));