Fix LibraryDslTest compilation

goblint · Nov 27, 2023 · 5a6362e · 5a6362e
1 parent 8a95c8a
commit 5a6362e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/unittest/analyses/libraryDslTest.ml b/unittest/analyses/libraryDslTest.ml
@@ -11,7 +11,7 @@ let pthread_mutex_lock_desc: LibraryDesc.t = LibraryDsl.(
   )
 
 let pthread_create_desc: LibraryDesc.t = LibraryDsl.(
-    special [__ "thread" [w]; drop "attr" [r]; __ "start_routine" [r]; __ "arg" [r]] @@ fun thread start_routine arg -> ThreadCreate { thread; start_routine; arg }
+    special [__ "thread" [w]; drop "attr" [r]; __ "start_routine" [r]; __ "arg" [r]] @@ fun thread start_routine arg -> ThreadCreate { thread; start_routine; arg; multiple = false }
   )
 
 let realloc_desc: LibraryDesc.t = LibraryDsl.(