diff --git a/src/maingoblint.ml b/src/maingoblint.ml
index 0d36ce7226..365d1779c3 100644
--- a/src/maingoblint.ml
+++ b/src/maingoblint.ml
@@ -623,7 +623,7 @@ let do_gobview cilfile =
       Serialize.marshal (Timing.Default.root, Gc.quick_stat ()) stats;
     )
     else
-      Logs.error "Warning: Cannot locate GobView."
+      Logs.error "Cannot locate GobView."
 
 let handle_extraspecials () =
   let funs = get_string_list "exp.extraspecials" in