Skip to content
Back to pull request #706

[coq_elpi_builtins] change error msg accumulating non-closed clause in a db #329

Sign in to view logs

[coq_elpi_builtins] change error msg accumulating non-closed clause in a db

[coq_elpi_builtins] change error msg accumulating non-closed clause in a db #329

Annotations

1 error

coq-elpi

coq-elpi
failed Oct 25, 2024 in 1m 1s