fix bug by changing MEMALLOC to SNAPSHOTALLOC

[c11tester.git] / fuzzer.h

diff --git a/fuzzer.h b/fuzzer.h
index 56e40a984c8eaeeacefae1b352610edb0f9b876d..348225c8f60184d90701b63df36767761bf0129e 100644 (file)
--- a/fuzzer.h
+++ b/fuzzer.h
@@ -15,7 +15,7 @@ public:
        bool shouldSleep(const ModelAction *sleep);
        bool shouldWake(const ModelAction *sleep);
        virtual void register_engine(ModelHistory * history, ModelExecution * execution) = 0;
-       MEMALLOC
+       SNAPSHOTALLOC
 private:
 };
 #endif