PS: remove unused function
PS: remove unused function

Ideally, we'll get rid also of the other one.

Signed-off-by: Marek Chalupa <2ec68d8033ee11c75b31c3efa204dbc26c692ff1@fi.muni.cz>

mchalupa/dg,mchalupa/dg,mchalupa/dg,mchalupa/dg