diff test/runtime/7158988/FieldMonitor.java @ 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 a7f9a1195d86
children cbdbdd6577f6
line wrap: on
line diff