Indexing of an empty vector

[intractabilis]

gecode/gecode/kernel/data/array.hpp

Line 1571 in 027c578

heap.copy<T>(a,&aa[0],n);

This line will throw an unexpected exception if aa is empty.