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),
     }