diff rundacapo.sh @ 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 3ed1b2a5d071
children 344264424174
line wrap: on
line diff