[coq] use ListNotations explicitly
Xavier Leroy pointed out that these changes should be in upstream (here) too.
ref https://github.com/AbsInt/CompCert/pull/352
Changes are backward-compatible.
I don't seem to be able to make a fork/merge request here (no rights).
You could perhaps git am
this patch: 0001-coq-use-ListNotations-explicitly.patch ?