| 109 | } |
| 110 | |
| 111 | void |
| 112 | CrestExtension::OutputFirstFunInvocation(std::ostream &out, FunctionInvocation *invoke) |
| 113 | { |
| 114 | AbsExtension::OutputFirstFunInvocation(out, invoke); |
| 115 | } |
| 116 |
nothing calls this directly
no outgoing calls
no test coverage detected