avoid warnings emitted by Coq

[ybertot]

Only modifications in the Coq source files.

[Karmaki]

Sorry to be late, but now, it seems that there are still some warnings, and moreover, it fails on:

Error: Unbound module Names.GlobRef.Ordered_env

A version problem?

[ybertot]

After git rebase, it seems the error has disappeared.

[ybertot]

Only the test-suite fails, and it seems this is only due to re-ordering in the graph.

[Karmaki]

What about merging your other PR into this one and updating the oracles? Sorry, but I prefer not to merge a branch where the tests fail...

[ybertot]

I agree on the point concerning not merging a branch where tests fails.

[ybertot]

Some of the changes cannot be fixed by sorting results. It seems there was a symbol for the section variable A that was removed and it shifts the indices of all nodes (this is for the graph.dpd file).

[Karmaki]

OK, but if it looks "normal" (I mean, due to coq internal modifications), you can just copy the new results in the oracles, and it will be ok then.

[ybertot]

I agree, I am checking the normalcy of the graph just now.