-
Lorenz Huedepohl authored
Since there are at the moment no double-valued entries, it is better to abort early than to try to walk the zero-length array. It might even work, but better safe than sorry.
ab729821
Since there are at the moment no double-valued entries, it is better to abort early than to try to walk the zero-length array. It might even work, but better safe than sorry.