• Andres Löh's avatar
    Improve solver error messages slightly. · eb9dcd4e
    Andres Löh authored
    As a consequence of treating all flag choices as a common goal for
    conflict set computation, error message slicing was broken and did
    not contain any information about flag choices anymore.
    
    With this change, information about flag choices is once again
    included in error messages.
    eb9dcd4e
Message.hs 6 KB