From 2673ba99fd28abc8448159a51d288ec942e7a65e Mon Sep 17 00:00:00 2001
From: Oliver Scherer <github35764891676564198441@oli-obk.de>
Date: Tue, 24 Dec 2019 00:08:47 +0100
Subject: [PATCH] Trailing return

---
 src/eval.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/eval.rs b/src/eval.rs
index b2f290414cee..9c15fedca3d0 100644
--- a/src/eval.rs
+++ b/src/eval.rs
@@ -204,7 +204,7 @@ pub fn eval_main<'tcx>(tcx: TyCtxt<'tcx>, main_id: DefId, config: MiriConfig) ->
                     return None;
                 }
             }
-            return Some(return_code);
+            Some(return_code)
         }
         Err(e) => report_err(&ecx, e),
     }