diff clean @ 3119:00ad6539b7dc

Changed genInstanceOf such that it does not longer automatically materialize the result.
author Thomas Wuerthinger <thomas@wuerthinger.net>
date Thu, 30 Jun 2011 16:49:13 +0200
parents 6223633ce7dd
children
line wrap: on
line diff