tree 0125d5236c3b0015a231c2e5f66c73471e52059f
parent 8741972e843750555a286d2cd6b7730ed1dd3837
author Stephan Herrmann <stephan@cs.tu-berlin.de> 1312112721 +0000
committer Stephan Herrmann <stephan@cs.tu-berlin.de> 1312112721 +0000

remove support for emulating annotation types.
Instead tests come with their own library of annotation types.