Commit aa3aca77 authored by Robbert Krebbers's avatar Robbert Krebbers

Update _CoqProject flags.

parent 83d062d7
Pipeline #21407 failed with stage
in 15 minutes and 13 seconds