Adding space between array and [, to make pretty printer compatible with 1.6 output
Adding space between array and [, to make pretty printer compatible with 1.6 output

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