targets/plc_debug.c
changeset 397 6a7ff66a811d
parent 394 5371e3d32f05
child 423 4d7ac355701d
--- a/targets/plc_debug.c	Mon Sep 21 11:56:55 2009 +0200
+++ b/targets/plc_debug.c	Mon Sep 21 12:00:52 2009 +0200
@@ -70,7 +70,7 @@
 extern long AtomicCompareExchange(long*, long, long);
 extern void InitiateDebugTransfer(void);
 
-extern int __tick;
+extern unsigned long __tick;
 void __publish_debug()
 {
     /* Check there is no running debugger re-configuration */