| 192 | } |
| 193 | |
| 194 | void |
| 195 | DefaultOutputMgr::OutputHeader(int argc, char *argv[], unsigned long seed) |
| 196 | { |
| 197 | OutputMgr::OutputHeader(argc, argv, seed); |
| 198 | } |
| 199 | |
| 200 | void |
| 201 | DefaultOutputMgr::Output() |
nothing calls this directly
no outgoing calls
no test coverage detected