Anomaly "Uncaught exception UGraph.AlreadyDeclared."
Hello,
https://gist.github.com/jad-hamza/4dd6d528a353d8268a39a89da0668f72
This example gives the error message:
Error: Anomaly "Uncaught exception UGraph.AlreadyDeclared."
Maybe related to https://github.com/coq/coq/issues/7792?
Removing the stdpp.set
import prevents the problem. I'm not sure whether this is a Coq bug or a stdpp problem, so I also posted there: https://github.com/coq/coq/issues/7795