diff ir/irvar.cpp @ 530:d30c40f1128d

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