| commit | 68caad9d0b06d0ac231ce083ff62410a5a1806c1 | [log] [tgz] |
|---|---|---|
| author | Tom Tromey <tromey@adacore.com> | Mon Nov 06 14:29:06 2023 -0700 |
| committer | Tom Tromey <tromey@adacore.com> | Fri Nov 17 08:26:03 2023 -0700 |
| tree | 2fd366c49e3954c8ac51f8309aae63999510871c | |
| parent | c98921b258b55272c5b4066d96441e4e07626eb2 [diff] |
Remove ExecutionInvoker ExecutionInvoker is no longer really needed, due to the previous DAP refactoring. This patch removes it in favor of an ordinary function. One spot (the 'continue' request) could still have used it, but is more succinctly expressed as a lambda. Reviewed-by: Kévin Le Gouguec <legouguec@adacore.com>