Commit fa6ff9d1 authored by Ralf Jung's avatar Ralf Jung

adapt regexp for coq 8.7

parent ac0565df
Pipeline #4333 passed with stage
in 7 minutes and 12 seconds