PRIVATE void error ( NumericType **Numeric, WorkType *Work ) { free_work (Work) ; UMFPACK_free_numeric ((void **) Numeric) ; ASSERT (UMF_malloc_count == init_count) ; }
void umf4fnum (void **Numeric) { UMFPACK_free_numeric (Numeric) ; }