Reword exp.hide-std-globals description
Reword exp.hide-std-globals description

Co-authored-by: Julian Erhard <fbe825e9715d293bc6775b432315e94f71eab5f9@yahoo.de>
goblint/analyzer,goblint/analyzer,goblint/analyzer,goblint/analyzer,goblint/analyzer