message: fix bug in local variable
diff: @@ -25,8 +25,8 @@ suite('Lean4 Bootstrap Test Suite', () => {
  // give it a extra long timeout in case test machine is really slow.
  logger.log('Wait for elan install of Lean nightly build...')
  - await waitForActiveClientRunning(lean.exports.clientProvider, 5, 60000, () => restartLeanServer(client));
  const client = assertActiveClient(lean.exports.clientProvider);
  + await waitForActiveClientRunning(lean.exports.clientProvider, 5, 60000, () => restartLeanServer(client));
  // This is a hack, we shouldn't need to do this, but there seems to be some sort of bootstrapping
  // bug on a newly installed lean server, the first time info view appears it sometimes gets stuck.
  