Use Batteries.Result.ok in MessageCategory to fix lower-bounds
Use Batteries.Result.ok in MessageCategory to fix lower-bounds

goblint/analyzer,goblint/analyzer,goblint/analyzer,goblint/analyzer,goblint/analyzer