From c6b191c29a304d76a512a6602080d07c1503f3fd Mon Sep 17 00:00:00 2001
From: Jonah <47046556+jwbonner@users.noreply.github.com>
Date: Fri, 20 Sep 2024 12:19:58 -0400
Subject: [PATCH] Remove unused WASM header

---
 src/hub/dataSources/wpilog/indexer/wpilogIndexer.c | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/hub/dataSources/wpilog/indexer/wpilogIndexer.c b/src/hub/dataSources/wpilog/indexer/wpilogIndexer.c
index 9d35e126..2b0e2f17 100644
--- a/src/hub/dataSources/wpilog/indexer/wpilogIndexer.c
+++ b/src/hub/dataSources/wpilog/indexer/wpilogIndexer.c
@@ -1,6 +1,5 @@
 #include <stdio.h>
 #include <stdlib.h>
-#include <string.h>
 
 const uint64_t OUTPUT_HEADER_SIZE = sizeof(double) * 2 + sizeof(uint32_t);
 const uint64_t OUTPUT_RECORD_SIZE = sizeof(uint32_t) * 2;