diff --git a/hw/ptimer.c b/hw/ptimer.c
index b36f9a6f07..f1994bd2b1 100644
--- a/hw/ptimer.c
+++ b/hw/ptimer.c
@@ -78,7 +78,6 @@ uint64_t ptimer_get_count(ptimer_state *s)
         } else {
             uint64_t rem;
             uint64_t div;
-            uint32_t frac;
             int clz1, clz2;
             int shift;