fix wrong merge

goblint · Feb 16, 2024 · bcbbcd8 · bcbbcd8
1 parent 56655c1
commit bcbbcd8
Showing 1 changed file with 0 additions and 2 deletions.
diff --git 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