- // Are we setting a session device?
- const auto session_device =
- dynamic_pointer_cast<SessionDevice>(device);
-
- // Did we have a session device selected previously?
- const auto prev_session_device =
- dynamic_pointer_cast<SessionDevice>(device_);
-