free_history

Description:

public static void free_history (TimeCoord[] events)

Frees an array of TimeCoord that was returned by get_history.

Parameters:

events

an array of TimeCoord.
n_events

the length of the array.