comparison runscimark.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 35fb2fef44f1
children 2de2bff9dba6
comparison
equal deleted inserted replaced
3118:ce12808b8ff2 3119:00ad6539b7dc