Fixes error because of zero-sized array (size zero was not explicitly specified).
Fixes error because of zero-sized array (size zero was not explicitly specified).

potassco/clingo,peschue/clingo,peschue/clingo,potassco/clingo,potassco/clingo,peschue/clingo,potassco/clingo,peschue/clingo