diff --git a/seahorn/lib/proof_allocators.c b/seahorn/lib/proof_allocators.c
index 7ed38de8..26a41d55 100644
--- a/seahorn/lib/proof_allocators.c
+++ b/seahorn/lib/proof_allocators.c
@@ -13,14 +13,14 @@
 
 void *realloc(void *ptr, size_t new_size) { return sea_realloc(ptr, new_size); }
 
-void *bounded_malloc(size_t size) {
+void *bounded_malloc_havoc(size_t size) {
   #ifdef __CRAB__
   assume(size > 1);
   #endif
   return size == 0 ? NULL : sea_malloc_havoc_safe(size);
 }
 
-void *can_fail_malloc(size_t size) {
+void *can_fail_malloc_havoc(size_t size) {
   #ifdef __CRAB__
   assume(size > 1);
   #endif