tree 5e19eccee5bce2db5f9292f2666ff45d6b52e9a3
parent 2c6e96a6f02dc53bae989eb6753785c8c15b02fd
author Michael Starzinger <mstarzinger@chromium.org> 1548928321 +0100
committer Commit Bot <commit-bot@chromium.org> 1548940218 +0000

[wasm] Remove dead {WasmDebugInfo::GetScopeDetails}.

R=clemensh@chromium.org
BUG=v8:8562

Change-Id: I13e566b95785edf788de842b833cb7f5bc2b731d
Reviewed-on: https://chromium-review.googlesource.com/c/1447771
Reviewed-by: Clemens Hammacher <clemensh@chromium.org>
Commit-Queue: Michael Starzinger <mstarzinger@chromium.org>
Cr-Commit-Position: refs/heads/master@{#59242}