tree e5a3816e527aad6896bed9a31a343e52bbf59042
parent 892a6f6e54b42c60a898eaac0ecacffcd06f2db2
author Stephan Herrmann <stephan@cs.tu-berlin.de> 1312112727 +0000
committer Stephan Herrmann <stephan@cs.tu-berlin.de> 1312112727 +0000

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