Adapt to https://github.com/rocq-prover/rocq/pull/21851 #200
Annotations
1 error
|
all:
./src/Rewriter/Util/IffT.v#L1
Cannot find a physical path bound to logical path
RelationClasses with prefix Corelib.
|
background
wait
wait-all
cancel
Loading