Skip to content
Snippets Groups Projects

Fix compilation with Coq master due to undeclared names.

Passed
Robbert Krebbers created pipeline for commit 7e802184
, finished
For master
branch
6 jobs 10 minutes 59 seconds, queued for 2 seconds