diff --git a/conf/svcomp-ghost.json b/conf/svcomp-ghost.json
index 84f127eb91..108b261322 100644
--- a/conf/svcomp-ghost.json
+++ b/conf/svcomp-ghost.json
@@ -31,6 +31,7 @@
       "region",
       "thread",
       "threadJoins",
+      "abortUnless",
       "mutexGhosts",
       "pthreadMutexType"
     ],