TIMER0001: remove unused variable

Signed-off-by: Axel Heider <[email protected]>
seL4 · May 21, 2024 · 95522e9 · 95522e9
1 parent e0cb803
commit 95522e9
Showing 1 changed file with 0 additions and 1 deletion.
diff --git 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 };