From 739fc1b2a7438c937b089e92331f7d81a1071b93 Mon Sep 17 00:00:00 2001
From: Josh Holtrop <jholtrop@gmail.com>
Date: Tue, 1 Nov 2016 23:06:09 -0400
Subject: [PATCH] remove unused header

---
 src/core/TextLoader.h | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/core/TextLoader.h b/src/core/TextLoader.h
index 68ea6d1..f6f2200 100644
--- a/src/core/TextLoader.h
+++ b/src/core/TextLoader.h
@@ -4,7 +4,6 @@
 #include <stdint.h>
 #include <list>
 #include <memory>
-#include "Span.h"
 #include "LineEndings.h"
 #include "Encoding.h"