diff --git a/conf/svcomp.json b/conf/svcomp.json
index df624e4b83..d17e1a5f1e 100644
--- a/conf/svcomp.json
+++ b/conf/svcomp.json
@@ -38,7 +38,7 @@
       "uninit",
       "expsplit",
       "activeSetjmp",
-      "threadid"
+      "threadflag"
     ],
     "context": {
       "widen": false