tree 9c9513c1f80844c64c09c0d8912c23ab2874f37c
parent d55527764a2f2e913e4ea6f736337d371b756062
author Stephan Herrmann <stephan@cs.tu-berlin.de> 1313600125 +0000
committer Stephan Herrmann <stephan@cs.tu-berlin.de> 1313600125 +0000

fix some small issues identified by the simrel report (unnecessary BREE and wrong providerName)