Method doFinalization

src/FunctionInvocationUser.cpp:390–395

* Release all dynamic memory */

 * Release all dynamic memory
 */
void
FunctionInvocationUser::doFinalization(void)
{
	invocations.clear();
	return_facts.clear();
}

///////////////////////////////////////////////////////////////////////////////