From 932bc25d8824e18debc91e5f25f022e8d066bcf8 Mon Sep 17 00:00:00 2001 From: mo8it Date: Mon, 14 Oct 2024 01:28:34 +0200 Subject: Remove unneeded line --- src/run.rs | 1 + 1 file changed, 1 insertion(+) (limited to 'src/run.rs') diff --git a/src/run.rs b/src/run.rs index f259f52..ac8b26a 100644 --- a/src/run.rs +++ b/src/run.rs @@ -29,6 +29,7 @@ pub fn run(app_state: &mut AppState) -> Result { .current_exercise() .terminal_file_link(&mut stdout)?; stdout.write_all(b" with errors\n")?; + return Ok(ExitCode::FAILURE); } -- cgit v1.2.3