15 Oct
2009
15 Oct
'09
11:54 a.m.
As a general comment, always take a look at the change history when you update IMP since it will include mention of such breaking changes. You can just read kernel/doc/history.dox if you don't want to build the docs.
On Oct 15, 2009, at 11:48 AM, Keren Lasker wrote:
> did it go away ? name changed, following the email exchange.
> what should I use instead ?? IMP_INTERNAL_CHECK (and IMP_USAGE_CHECK for IMP_check).