From 8191c47ebbbbb007ad1ebdc7d05f8dbeb76c7423 Mon Sep 17 00:00:00 2001
From: Johannes Waldmann <johannes.waldmann@htwk-leipzig.de>
Date: Wed, 8 Jan 2025 20:23:40 +0100
Subject: [PATCH] fix #1015

---
 output/Autolib/Output/Type.hs | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/output/Autolib/Output/Type.hs b/output/Autolib/Output/Type.hs
index c084f2c51..7f8daea7b 100644
--- a/output/Autolib/Output/Type.hs
+++ b/output/Autolib/Output/Type.hs
@@ -11,7 +11,8 @@ import Autolib.Multilingual
 import qualified Autolib.ToDoc as D
 
 import Data.ByteString
-import Data.Text
+import qualified Data.Text as T
+import Data.Text (Text)
 import Data.Monoid
 import Data.String
 
-- 
GitLab