diff --git a/src/Libraries/Text/PrettyPrint/Prettyprinter/Render/HTML.idr b/src/Libraries/Text/PrettyPrint/Prettyprinter/Render/HTML.idr
index 3d38b82a2..53d131a23 100644
--- a/src/Libraries/Text/PrettyPrint/Prettyprinter/Render/HTML.idr
+++ b/src/Libraries/Text/PrettyPrint/Prettyprinter/Render/HTML.idr
@@ -1,7 +1,7 @@
 module Libraries.Text.PrettyPrint.Prettyprinter.Render.HTML
 
 import Data.List
-import Data.String
+import Data.Strings
 
 import Idris.Version