From c13e416d24b92e8a170ee10182864dede33cecff Mon Sep 17 00:00:00 2001
From: Michael Tautschnig <tautschn@amazon.com>
Date: Tue, 30 Nov 2021 14:38:14 +0000
Subject: [PATCH] Fix malloc declaration in Linked_List1 regression test

We had invalid pointers instead of dynamic objects in this test, which
didn't matter to much. It may, however, matter with upcoming support for
non-deterministic pointers.
---
 regression/cbmc/Linked_List1/main.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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
 {