From 5f81bd22d805c3c0722b2da2b7941746f155b4de Mon Sep 17 00:00:00 2001
From: Michael Tautschnig <tautschn@amazon.com>
Date: Thu, 15 Dec 2022 21:01:32 +0000
Subject: [PATCH] fix: return type of aws_default_allocator stub in CBMC proofs

The function is expected to return a pointer, not the full struct type.
---
 verification/cbmc/stubs/aws_default_allocator_stub.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/verification/cbmc/stubs/aws_default_allocator_stub.c b/verification/cbmc/stubs/aws_default_allocator_stub.c
index 5eda7ddba..f88f7c413 100644
--- a/verification/cbmc/stubs/aws_default_allocator_stub.c
+++ b/verification/cbmc/stubs/aws_default_allocator_stub.c
@@ -15,6 +15,6 @@
 
 #include <proof_helpers/proof_allocators.h>
 
-struct aws_allocator aws_default_allocator() {
+struct aws_allocator *aws_default_allocator() {
     return can_fail_allocator();
 }