From 9e6a9652764129a73a6fe9c64a41573b0658f15e Mon Sep 17 00:00:00 2001
From: Rodrigo Arias <rodrigo.arias@bsc.es>
Date: Mon, 22 Aug 2022 16:01:38 +0200
Subject: [PATCH] Report successful emulation

---
 emu.c | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/emu.c b/emu.c
index d447c25..0868998 100644
--- a/emu.c
+++ b/emu.c
@@ -1198,5 +1198,7 @@ main(int argc, char *argv[])
 
 	free(emu);
 
+	err("ovniemu finished\n");
+
 	return 0;
 }