diff gen/statements.cpp @ 530:d30c40f1128d

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