Fix LibraryDslTest compilation

sim642 · sim642 · commit 5a6362e1c0bd · 2023-11-27T14:32:47.000+02:00
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.(

Original file line number	Diff line number	Diff line change
`@@ -11,7 +11,7 @@ let pthread_mutex_lock_desc: LibraryDesc.t = LibraryDsl.(`
`11`	`11`	`)`
`12`	`12`
`13`	`13`	`let pthread_create_desc: LibraryDesc.t = LibraryDsl.(`
`14`		`- special [__ "thread" [w]; drop "attr" [r]; __ "start_routine" [r]; __ "arg" [r]] @@ fun thread start_routine arg -> ThreadCreate { thread; start_routine; arg }`
	`14`	`+ special [__ "thread" [w]; drop "attr" [r]; __ "start_routine" [r]; __ "arg" [r]] @@ fun thread start_routine arg -> ThreadCreate { thread; start_routine; arg; multiple = false }`
`15`	`15`	`)`
`16`	`16`
`17`	`17`	`let realloc_desc: LibraryDesc.t = LibraryDsl.(`