MINOR - bug fix in repository_collisions.m
Authored by: widmfeli 2018-12-11
Parent: [r341]
Child: [r343]