From fc857a758e1a66c637a3a47504f908eea2418c78 Mon Sep 17 00:00:00 2001
From: Dan Gohman <sunfish@mozilla.com>
Date: Wed, 4 Oct 2017 12:21:49 -0700
Subject: [PATCH] Remove an unneeded block.

---
 src/main.rs | 22 ++++++++++------------
 1 file changed, 10 insertions(+), 12 deletions(-)

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