• Alexandre Duret-Lutz's avatar
    Work around a spurious style.test error. · 57d5eb3c
    Alexandre Duret-Lutz authored
    * src/saba/sabacomplementtgba.hh (spot): Rewrite Büchi as B\"uchi
    is the BibTex entry used as comment, because some version of sed
    will choke on non-ascii character and cause sanity/style.test to
    fail.
    57d5eb3c