72a73,76
> void arrayParamOut(std::ostream &os, const std::string &name,
> const std::list<T> &param);
>
> template <class T>
79a84,87
> template <class T>
> void arrayParamIn(Checkpoint *cp, const std::string &section,
> const std::string &name, std::list<T> &param);
>