tree 19841fa4faf1d891061764f613fe45a6d20d049a
parent fa4bcc77c95dc01bfd98f664fafe433d255cfa33
author peusterm <manuel.peuster@uni-paderborn.de> 1452852737 +0100
committer peusterm <manuel.peuster@uni-paderborn.de> 1452852737 +0100

small bugfix, list should return a list not a iterator