From 0d599dc9b2c1788fa63b73a3d5e7b4806cdb806a Mon Sep 17 00:00:00 2001
From: Joseph Gilley <joseph@usesilo.com>
Date: Wed, 3 Aug 2022 18:04:25 -0700
Subject: [PATCH] chore: remove unnecessary header replacement

---
 update-h3.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/update-h3.sh b/update-h3.sh
index 69dd27c..896bf7b 100755
--- a/update-h3.sh
+++ b/update-h3.sh
@@ -75,7 +75,7 @@ pushd "$H3_SRC_DIR" || badexit
     echo Copying source files into working directory
     pushd ./src/h3lib/lib/ || badexit
         for f in *.c; do
-            sed -E 's/#include "(.*)"/#include "h3_\1"/; s/#include <faceijk.h>/ /' "$f" > "$CWD/h3_$f" || badexit
+            sed -E 's/#include "(.*)"/#include "h3_\1"/' "$f" > "$CWD/h3_$f" || badexit
         done
     popd || badexit