diff gen/runtime.h @ 530:d30c40f1128d

Make class invariants work.
author Christian Kamm <kamm incasoftware de>
date Thu, 21 Aug 2008 15:19:45 +0200
parents 0c77619e803b
children
line wrap: on
line diff