search

OCamlPro / alt-ergo

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

fix(warn): Remove warnings when building Compat library #1194

Closed bclement-ocp closed 1 month ago

bclement-ocp commented 1 month ago

The syntax used for silencing warning in #1191 is incorrect.