Fix repllistcomps: use the correct header
[mmh] / test / tests / dist /
2016-08-11 Philipp Takacsfix dist