change USE_SYSTEM_ALLOCATION to INDIVIDUAL_ALLOCATIONS in Allocator.c…

…pp, missed in #469
vprover · Aug 18, 2023 · ca2d7bd · ca2d7bd
1 parent f3ac909
commit ca2d7bd
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Lib/Allocator.cpp b/Lib/Allocator.cpp
@@ -19,7 +19,7 @@
 #include "Allocator.hpp"
 #include "Lib/Timer.hpp"
 
-#ifndef USE_SYSTEM_ALLOCATION
+#ifndef INDIVIDUAL_ALLOCATIONS
 Lib::SmallObjectAllocator Lib::GLOBAL_SMALL_OBJECT_ALLOCATOR;
 #endif