Changes between Version 3 and Version 4 of library_malloc


Ignore:
Timestamp:
Aug 4, 2014, 5:34:05 PM (10 years ago)
Author:
alain
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • library_malloc

    v3 v4  
    3131 * '''void free( void* ptr )
    3232 
    33  == WARNING ==
    34 In the present implementation, the free() function cannot be used with the remote_malloc() and remote