style nit

oli-obk · Jun 10, 2016 · 9c8f84c · 9c8f84c
1 parent 4fa328e
commit 9c8f84c
Showing 1 changed file with 18 additions and 16 deletions.
diff --git a/src/bin/miri.rs b/src/bin/miri.rs
@@ -65,22 +65,24 @@ fn interpret_start_points<'a, 'tcx>(
 
                 gecx.push_stack_frame(tcx.map.local_def_id(id), mir.span, CachedMir::Ref(mir), substs, return_ptr);
 
-                loop { match (step(&mut gecx), return_ptr) {
-                    (Ok(true), _) => {},
-                    (Ok(false), Some(ptr)) => if log_enabled!(::log::LogLevel::Debug) {
-                        gecx.memory().dump(ptr.alloc_id);
-                        break;
-                    },
-                    (Ok(false), None) => {
-                        warn!("diverging function returned");
-                        break;
-                    },
-                    // FIXME: diverging functions can end up here in some future miri
-                    (Err(e), _) => {
-                        report(tcx, &gecx, e);
-                        break;
-                    },
-                } }
+                loop {
+                    match (step(&mut gecx), return_ptr) {
+                        (Ok(true), _) => {},
+                        (Ok(false), Some(ptr)) => if log_enabled!(::log::LogLevel::Debug) {
+                            gecx.memory().dump(ptr.alloc_id);
+                            break;
+                        },
+                        (Ok(false), None) => {
+                            warn!("diverging function returned");
+                            break;
+                        },
+                        // FIXME: diverging functions can end up here in some future miri
+                        (Err(e), _) => {
+                            report(tcx, &gecx, e);
+                            break;
+                        },
+                    }
+                }
             }
         }
     }