diff --git a/lib/bap_primus/bap_primus_interpreter.ml b/lib/bap_primus/bap_primus_interpreter.ml
index 5fb0f3fe6..50b881357 100644
--- a/lib/bap_primus/bap_primus_interpreter.ml
+++ b/lib/bap_primus/bap_primus_interpreter.ml
@@ -620,7 +620,7 @@ module Make (Machine : Machine) = struct
     push_prompt ret >>= fun () ->
     label cond (Call.target call) >>= fun () ->
     Machine.Local.get state >>= function
-    | {prompts=[]} -> trap_cfi_violation callsite
+    | {prompts=[]} -> Machine.return ()
     | {prompts=p::_} -> match ret with
       | None -> Machine.return ()
       | Some p' when Tid.(p <> p') ->