diff --git a/regression/cbmc/Linked_List1/main.c b/regression/cbmc/Linked_List1/main.c
index 95a4e85c501..daff3069df6 100644
--- a/regression/cbmc/Linked_List1/main.c
+++ b/regression/cbmc/Linked_List1/main.c
@@ -1,4 +1,4 @@
-void *malloc(unsigned int s);
+void *malloc(__CPROVER_size_t s);
 
 struct nodet
 {