From 070731ecd8a80c23b9745020a570ad385ea14aee Mon Sep 17 00:00:00 2001
From: Florian Fischer <florian.fl.fischer@fau.de>
Date: Sun, 11 Aug 2019 19:10:49 +0200
Subject: make bump pointer allocator available through src.allocators.bumpptr

---
 src/allocator.py | 2 --
 1 file changed, 2 deletions(-)

(limited to 'src/allocator.py')

diff --git a/src/allocator.py b/src/allocator.py
index 2e223fe..73f2777 100644
--- a/src/allocator.py
+++ b/src/allocator.py
@@ -177,5 +177,3 @@ def patch_alloc(name, alloc, patches, **kwargs):
 
     return new_alloc
 
-
-bumpptr = Allocator("bumpptr", LD_PRELOAD=os.path.join(builddir, "bumpptr_alloc.so"), color="xkcd:black")
-- 
cgit v1.2.3