diff options
Diffstat (limited to 'driver_nmea2000.c')
| -rw-r--r-- | driver_nmea2000.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/driver_nmea2000.c b/driver_nmea2000.c index cab2ec4f..628abd7d 100644 --- a/driver_nmea2000.c +++ b/driver_nmea2000.c @@ -67,7 +67,7 @@ static int scale_int(int32_t var, const int64_t factor) ret = var; ret *= factor; - ret >>= 32; + /*@i1@*/ret >>= 32; return((int)ret); } |