rasqal_free_memory

Name

rasqal_free_memory --  Free memory allocated inside rasqal.

Synopsis

void rasqal_free_memory (void * ptr);

Arguments

ptr

memory pointer

Description

Some systems require memory allocated in a library to be deallocated in that library. This function allows memory allocated by rasqal to be freed.