1
0
mirror of https://github.com/gnss-sdr/gnss-sdr synced 2024-12-15 12:40:35 +00:00

Fix warning about unused parameter

This commit is contained in:
Carles Fernandez 2018-07-04 20:46:32 +02:00
parent 7b6780eb9e
commit ff7fbd397a
No known key found for this signature in database
GPG Key ID: 4C583C52B0C3877D

View File

@ -83,6 +83,9 @@ public:
template <class Archive> template <class Archive>
void serialize(Archive& ar, const unsigned int version) void serialize(Archive& ar, const unsigned int version)
{ {
if (version)
{
};
// Satellite and signal info // Satellite and signal info
ar& System; ar& System;
ar& Signal; ar& Signal;