message: Multithreading corner case crash fixed
diff: @@ -210,10 +210,10 @@ void BatchProofContainer::batch_sigma() {
  }
  return true;
  }));
  - }
  ++itr;
  }
  + }
  bool isFail = false;
  for (auto& th : parallelTasks) {
  @@ -311,9 +311,10 @@ void BatchProofContainer::batch_lelantus() {
  }
  return true;
  }));
  - }
  +
  ++itr;
  }
  + }
  bool isFail = false;
  for (auto& th : parallelTasks) {
  if (!th.get())
  