Reenable some OCaml warnings

goblint / cil

C Intermediate Language

https://goblint.github.io/cil/

Other

40 stars 16 forks source link

Closed sim642 closed 2 years ago

sim642 commented 2 years ago

As in https://github.com/goblint/analyzer/pull/560, this reenables some useful OCaml warnings. It revealed a surprisingly large amount of unused stuff...