diff --git a/plugins/primus_promiscuous/primus_promiscuous_main.ml b/plugins/primus_promiscuous/primus_promiscuous_main.ml
index d8593abcb..51b38b868 100644
--- a/plugins/primus_promiscuous/primus_promiscuous_main.ml
+++ b/plugins/primus_promiscuous/primus_promiscuous_main.ml
@@ -146,7 +146,9 @@ module Main(Machine : Primus.Machine.S) = struct
         Machine.Global.get state >>= fun {forkpoints} ->
         if Set.mem forkpoints dst
         then Eval.halt >>= never_returns
-        else Linker.exec (`tid dst)
+        else
+          Linker.exec (`tid dst) >>= fun () ->
+          Eval.halt >>= never_returns
     | _ -> Machine.return ()
 
   let fork_on_calls blk jmp = match Jmp.kind jmp with