diff --git a/src/pv/verifiers/seahorn/seahorn.sh b/src/pv/verifiers/seahorn/seahorn.sh
index 9b0719c..db0906b 100755
--- a/src/pv/verifiers/seahorn/seahorn.sh
+++ b/src/pv/verifiers/seahorn/seahorn.sh
@@ -1,3 +1,3 @@
 #! /bin/sh
 
-sea bpf --cpu=1800 -g --bmc="${BMC}" --crab --track=mem --dsa=sea-cs -m64 -DPROVERS -DPROVERS_SEAHORN /mount/${1}/${2}.c
+sea bpf --cpu=1800 -g --bmc="${BMC}" --crab --track=mem --inline --dsa=sea-cs -m64 -DPROVERS -DPROVERS_SEAHORN /mount/${1}/${2}.c