From 7f82aa08f8885de467d5ac4876de66207a59daa0 Mon Sep 17 00:00:00 2001
From: Rodrigo Arias <rodrigo.arias@bsc.es>
Date: Mon, 20 Feb 2023 15:36:21 +0100
Subject: [PATCH] Remove duplicate ovniemu prefix in stats

---
 src/emu/emu_stat.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/emu/emu_stat.c b/src/emu/emu_stat.c
index 324a4e1..b80ca7f 100644
--- a/src/emu/emu_stat.c
+++ b/src/emu/emu_stat.c
@@ -54,7 +54,7 @@ emu_stat_report(struct emu_stat *stat, struct player *player, int last)
 	if (time_elapsed > 0.0)
 		avgspeed = (double) nprocessed / time_elapsed;
 
-	verr(NULL, "ovniemu: %5.1f%% done at %.0f kev/s (%d min %d s left)   \r",
+	verr(NULL, "%5.1f%% done at %.0f kev/s (%d min %d s left)   \r",
 			progress * 100.0,
 			avgspeed * 1e-3,
 			tmin, tsec);