Closed ale-f closed 8 years ago
As of commit 44e23fa17b12a5844483e6d26fee50ee0d90af97, theories/Lambda/ExprUnify.v doesn't exist any more—but these files still depend on it:
theories/Lambda/ExprUnify.v
examples/Cancel/CancelTac.v
examples/Cancel/CancelTacNoMatch.v
theories/Lambda/AutoSetoidRewriteRtac.v
The _CoqProject file also contains a stray reference to ExprUnify.v.
_CoqProject
ExprUnify.v
Fixed in e47a6ba
Thanks.
As of commit 44e23fa17b12a5844483e6d26fee50ee0d90af97,
theories/Lambda/ExprUnify.v
doesn't exist any more—but these files still depend on it:examples/Cancel/CancelTac.v
examples/Cancel/CancelTacNoMatch.v
theories/Lambda/AutoSetoidRewriteRtac.v
The
_CoqProject
file also contains a stray reference toExprUnify.v
.