comparison test/runtime/InitialThreadOverflow/testme.sh @ 13333:1c446564d36c

AlwaysValidAssumption: fix typo and make constructor private
author Andreas Woess <andreas.woess@jku.at>
date Sat, 14 Dec 2013 03:04:01 +0100
parents 0f648fbe4404
children e567d5afd4dd
comparison
equal deleted inserted replaced
13332:ecea358f97be 13333:1c446564d36c