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