diff runfop.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 b9307b923f26
children a4b0c3df7f80
line wrap: on
line diff