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();
 }