| 97 | } |
| 98 | |
| 99 | void |
| 100 | CrestExtension::OutputHeader(std::ostream &out) |
| 101 | { |
| 102 | out << "#include \"crest.h\"" << endl; |
| 103 | } |
| 104 | |
| 105 | void |
| 106 | CrestExtension::OutputTail(std::ostream &out) |
nothing calls this directly
no outgoing calls
no test coverage detected