destroy_counter


Description:

public VoidCookie destroy_counter (Counter counter)