From bcbbcd8767e9c2c3847ed79e26378ebeb8e2b50b Mon Sep 17 00:00:00 2001
From: stilscher <66023521+stilscher@users.noreply.github.com>
Date: Fri, 16 Feb 2024 15:34:57 +0100
Subject: [PATCH] fix wrong merge

---
 src/maingoblint.ml | 2 --
 1 file changed, 2 deletions(-)

diff --git a/src/maingoblint.ml b/src/maingoblint.ml
index 365d1779c3..2c81ee7fd7 100644
--- a/src/maingoblint.ml
+++ b/src/maingoblint.ml
@@ -622,8 +622,6 @@ let do_gobview cilfile =
       let stats = Fpath.(run_dir / "stats.marshalled") in
       Serialize.marshal (Timing.Default.root, Gc.quick_stat ()) stats;
     )
-    else
-      Logs.error "Cannot locate GobView."
 
 let handle_extraspecials () =
   let funs = get_string_list "exp.extraspecials" in