From de2bf29dfc5e7dec8e6d82a8b7f6413049f55e94 Mon Sep 17 00:00:00 2001
From: James Dunkerley <jdunkerley@users.noreply.github.com>
Date: Tue, 9 Jul 2024 18:34:22 +0100
Subject: [PATCH] Switch of Encoding.default for now.

---
 .../lib/Standard/Base/0.0.0-dev/src/Data/Text/Encoding.enso    | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/distribution/lib/Standard/Base/0.0.0-dev/src/Data/Text/Encoding.enso b/distribution/lib/Standard/Base/0.0.0-dev/src/Data/Text/Encoding.enso
index edeb5df71338..6d0e62852c14 100644
--- a/distribution/lib/Standard/Base/0.0.0-dev/src/Data/Text/Encoding.enso
+++ b/distribution/lib/Standard/Base/0.0.0-dev/src/Data/Text/Encoding.enso
@@ -71,7 +71,8 @@ type Encoding
     default -> Encoding =
         # This factory method is used to publicly expose the `Default` constructor.
         # The constructor itself has to be private, because we want to make `Value` constructor private, but all constructors must have the same privacy.
-        Encoding.Default
+        # ToDo: This is a workaround for performance issue.
+        Encoding.utf_8
 
     ## PRIVATE
        A default encoding that will try to guess the encoding based on some heuristics.