Commit 6eab58d9 authored by Ralf Jung's avatar Ralf Jung
Browse files

make coqchk happy with prelude.pretty

parent ebb51092
Pipeline #2610 passed with stage
in 4 minutes and 14 seconds