Explicitely use BatHashtbl instead of doing it via Prelude.Hashtbl.
Explicitely use BatHashtbl instead of doing it via Prelude.Hashtbl.

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