--- a/runtime/plc_Linux_main.c Fri Feb 08 18:35:30 2008 +0100
+++ b/runtime/plc_Linux_main.c Mon Feb 11 10:26:08 2008 +0100
@@ -6,8 +6,7 @@
void PLC_timer_notify(sigval_t val)
- struct timespec CURRENT_TIME;
- clock_gettime(CLOCK_REALTIME, &CURRENT_TIME);
+ clock_gettime(CLOCK_REALTIME, &__CURRENT_TIME);