search

OCamlPro / alt-ergo

OCamlPro public development repository for Alt-Ergo
https://alt-ergo.ocamlpro.com/
Other
130 stars 33 forks source link

Remove warnings #1202

Closed Halbaroth closed 1 month ago

Halbaroth commented 1 month ago

After upgrading Dune, ocamlc outputs new warnings (I guess the default warning flags of Dune changed). This PR removes them.

Notice that there is still one warning:

record field acts_add_lit_view is never read

I guess this field will be used soon, so I do not touch it.

Halbaroth commented 1 month ago

I prefer avoiding annoying rebases for you ;)