diff options
Diffstat (limited to 'ppsthread.c')
-rw-r--r-- | ppsthread.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ppsthread.c b/ppsthread.c index 88685be8..00037b33 100644 --- a/ppsthread.c +++ b/ppsthread.c @@ -991,7 +991,7 @@ static /*@null@*/ void *gpsd_ppsmonitor(void *arg) struct timespec delay; /* delay as a printable string */ char delay_str[TIMESPEC_LEN]; - char *log1 = ""; + /*@observer@*/ char *log1 = ""; /* ppstimes.real is the time we think the pulse represents */ struct timedelta_t ppstimes; thread_context->log_hook(thread_context, THREAD_RAW, |