tree 2c44933d4a40991d931c76ace302738503691ce1
parent 9168c69b754193162d80f8f9236cae3b0da833ee
author Stephan Herrmann <stephan@cs.tu-berlin.de> 1313064066 +0000
committer Stephan Herrmann <stephan@cs.tu-berlin.de> 1313064066 +0000

test & fix re non-reference types.