fix error message

stilscher · stilscher · commit 56655c19176e · 2024-02-16T15:31:46.000+01:00
diff --git 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

Original file line number	Diff line number	Diff line change
`@@ -623,7 +623,7 @@ let do_gobview cilfile =`
`623`	`623`	`Serialize.marshal (Timing.Default.root, Gc.quick_stat ()) stats;`
`624`	`624`	`)`
`625`	`625`	`else`
`626`		`- Logs.error "Warning: Cannot locate GobView."`
	`626`	`+ Logs.error "Cannot locate GobView."`
`627`	`627`
`628`	`628`	`let handle_extraspecials () =`
`629`	`629`	`let funs = get_string_list "exp.extraspecials" in`