57a58
> #include <set>
126a128,131
> void arrayParamOut(CheckpointOut &cp, const std::string &name,
> const std::set<T> &param);
>
> template <class T>
137a143,146
> template <class T>
> void arrayParamIn(CheckpointIn &cp, const std::string &name,
> std::set<T> &param);
>