• Alexandre Duret-Lutz's avatar
    Tweak precedence of "->" and <->. · 351a8076
    Alexandre Duret-Lutz authored
    * src/ltlparse/ltlparse.yy: Change the precedence of "->" and
    "<->" so that "a & b -> c" is interpreted as "(a & b) -> c"
    instead of "a & (b -> c)".  The new interpretation is more
    intuitive, and matches that of LBTT.
    351a8076
ltlparse.yy 8.44 KB