From 0faf2bf815c047bb1ea169d1c804bc28d8d4c414 Mon Sep 17 00:00:00 2001
From: Jef Driesen <jefdriesen@users.sourceforge.net>
Date: Fri, 2 Apr 2010 13:04:53 +0000
Subject: [PATCH] Use the correct printf format for 64 bit integers.

---
 examples/universal.c | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

diff --git a/examples/universal.c b/examples/universal.c
index 6460294..dfafb25 100644
--- a/examples/universal.c
+++ b/examples/universal.c
@@ -28,6 +28,12 @@
 #include <unistd.h>
 #endif
 
+#ifdef _WIN32
+#define DC_TICKS_FORMAT "%I64d"
+#else
+#define DC_TICKS_FORMAT "%lld"
+#endif
+
 #include <suunto.h>
 #include <reefnet.h>
 #include <uwatec.h>
@@ -351,7 +357,7 @@ event_cb (device_t *device, device_event_t event, const void *data, void *userda
 		break;
 	case DEVICE_EVENT_CLOCK:
 		devdata->clock = *clock;
-		message ("Event: systime=%u, devtime=%u\n",
+		message ("Event: systime=" DC_TICKS_FORMAT ", devtime=%u\n",
 			clock->systime, clock->devtime);
 		break;
 	default: