[datalog] Fix sorting of related header (#7832)

This commit is contained in:
Tyler Veness
2025-03-02 10:47:48 -08:00
committed by GitHub
parent baa20fa239
commit 7cb29ce70b
6 changed files with 10 additions and 13 deletions

View File

@@ -2,6 +2,8 @@
// Open Source Software; you can modify and/or share it under the terms of
// the WPILib BSD license file in the root directory of this project.
#include "wpi/datalog/DataLog.h"
#include <algorithm>
#include <bit>
#include <cstdio>
@@ -17,8 +19,6 @@
#include <wpi/print.h>
#include <wpi/timestamp.h>
#include "wpi/datalog/DataLog.h"
using namespace wpi::log;
static constexpr size_t kRecordMaxHeaderSize = 17;