Correctly flatten redefinition of binary bool_xor. Fixes #25.
Correctly flatten redefinition of binary bool_xor. Fixes #25.

jjdekker/libminizinc,nathanielbaxter/libminizinc,tias/libminizinc,nathanielbaxter/libminizinc,jjdekker/libminizinc,jjdekker/libminizinc,nathanielbaxter/libminizinc,jjdekker/libminizinc,nathanielbaxter/libminizinc,tias/libminizinc