diff --git a/examples/timing.h b/examples/timing.h
index 5254a787..07b934ff 100644
--- a/examples/timing.h
+++ b/examples/timing.h
@@ -58,7 +58,8 @@ __inline__ uint64_t rdtsc() {
 
 #ifdef WIN32
 #include <windows.h>
-double rtc();
+// This is just a stub, it's not used on Windows.
+double rtc() { return 0.0; };
 #define rdtsc __rdtsc
 #else // WIN32
 __inline__ uint64_t rdtsc() {