From 71dde13fec514be269cbd94254725b22200777ff Mon Sep 17 00:00:00 2001
From: Axel Heider <axel.heider@codasip.com>
Date: Tue, 21 May 2024 13:13:34 +0200
Subject: [PATCH] TIMER0001: remove unused variable

Signed-off-by: Axel Heider <axel.heider@codasip.com>
---
 apps/sel4test-driver/src/tests/timer.c | 1 -
 1 file changed, 1 deletion(-)

diff --git a/apps/sel4test-driver/src/tests/timer.c b/apps/sel4test-driver/src/tests/timer.c
index 2d650eb7..18b1860a 100644
--- a/apps/sel4test-driver/src/tests/timer.c
+++ b/apps/sel4test-driver/src/tests/timer.c
@@ -33,7 +33,6 @@ static int test_callback(uintptr_t token)
 
 int test_timer(driver_env_t env)
 {
-    uint64_t time = 0;
     test_finished = false;
     timer_test_data_t test_data = { .goal_count = 3 };