From 7b6d64499752ca656cc24bb4a42e0c3e5c594c19 Mon Sep 17 00:00:00 2001
From: RK <r.raajey@gmail.com>
Date: Fri, 27 Dec 2024 15:25:52 +0530
Subject: [PATCH] Update src/concurrency/thread.rs

Co-authored-by: Ralf Jung <post@ralfj.de>
---
 src/concurrency/thread.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/concurrency/thread.rs b/src/concurrency/thread.rs
index 91fb5831bf..2a39b2eb1d 100644
--- a/src/concurrency/thread.rs
+++ b/src/concurrency/thread.rs
@@ -63,7 +63,7 @@ pub type DyMachineCallback<'tcx> = Box<dyn MachineCallback<'tcx> + 'tcx>;
 #[macro_export]
 macro_rules! callback {
     (@capture<$tcx:lifetime $(,)? $($lft:lifetime),*> { $($name:ident: $type:ty),* $(,)? }
-     @unblock = |$this:ident, $result:ident| $complete:expr $(,)?)
+     @unblock = |$this:ident, $arg:ident| $body:expr $(,)?)
     => {{
 
         struct Callback<$tcx, $($lft),*> {