Merge pull request #6492 from tautschnig/linked-list-test

Fix malloc declaration in Linked_List1 regression test

Author: tautschnig

regression/cbmc/Linked_List1/main.c

@@ -1,4 +1,4 @@
-void *malloc(unsigned int s);
+void *malloc(__CPROVER_size_t s);
 
 struct nodet
 {