From cdc7558020ef132d13c944dfe49ce899a7eaff1e Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Marcel=20L=C3=BCtke=20Dreimann?=
 <marcel.luetkedreimann@uos.de>
Date: Wed, 4 Jan 2023 13:15:11 +0100
Subject: [PATCH] added missing allocator reset

---
 repos/hello_gpgpu/src/hello_gpgpu/main.cc | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/repos/hello_gpgpu/src/hello_gpgpu/main.cc b/repos/hello_gpgpu/src/hello_gpgpu/main.cc
index 2f4348575d..903191802e 100644
--- a/repos/hello_gpgpu/src/hello_gpgpu/main.cc
+++ b/repos/hello_gpgpu/src/hello_gpgpu/main.cc
@@ -59,6 +59,9 @@ struct hello_gpgpu
 		Genode::addr_t mapped_base = env.rm().attach(ram_cap);
 		alloc.add_range(mapped_base, size);
 		run_gpgpu_test(alloc);
+#ifdef USE_STUPID_ALLOCATOR
+		clg.reset();
+#endif // USE_STUPID_ALLOCATOR
 
 		// run selected benchmarks
 		Genode::log("===Run PolyBench===");