1
0
mirror of https://github.com/gnss-sdr/gnss-sdr synced 2024-09-21 11:49:50 +00:00

make cpplint happy

This commit is contained in:
Marc Majoral 2024-07-24 15:55:26 +02:00
parent ef3afccfbc
commit 2df08c48fa
No known key found for this signature in database
GPG Key ID: 4CC7BE8C367C596C
2 changed files with 1 additions and 1 deletions

View File

@ -28,7 +28,6 @@
#include <cmath> // for std::floor
#include <exception> // for std::exception
#include <iostream> // for std::cout
#include <vector> // for std::vector
#if USE_GLOG_AND_GFLAGS
#include <glog/logging.h>
#else

View File

@ -31,6 +31,7 @@
#include <mutex> // for mutex
#include <string> // for strings
#include <thread> // for threads
#include <vector> // for std::vector
/** \addtogroup Signal_Source