GPS: Use shorter perf names

This commit is contained in:
Lorenz Meier
2016-03-28 13:02:29 +02:00
parent 924b7efaa2
commit b71123f4fe
-1
View File
@@ -58,7 +58,6 @@
#include <drivers/drv_hrt.h>
#include <drivers/device/i2c.h>
#include <systemlib/systemlib.h>
#include <systemlib/perf_counter.h>
#include <systemlib/scheduling_priorities.h>
#include <systemlib/err.h>
#include <drivers/drv_gps.h>