- DFSExplorer::on_backtracking([extension]() { extension->initial_communications_pattern_done = true; });
- DFSExplorer::on_state_creation([extension](State* state) { state->extension_set(new StateCommDet(extension)); });
+ DFSExplorer::on_backtracking(
+ [extension](RemoteApp const&) { extension->initial_communications_pattern_done = true; });
+ DFSExplorer::on_state_creation([extension](State* state, RemoteApp const& remote_app) {
+ state->extension_set(new StateCommDet(*extension, remote_app));
+ });