From 352cc88eedb88e4689d86e32e065afbb779d3162 Mon Sep 17 00:00:00 2001
From: ndwarshuis <ndwar@yavin4.ch>
Date: Mon, 19 Jun 2023 12:44:14 -0400
Subject: [PATCH] FIX more typos

---
 dhall/Types.dhall | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/dhall/Types.dhall b/dhall/Types.dhall
index b31d93d..d9a4c3e 100644
--- a/dhall/Types.dhall
+++ b/dhall/Types.dhall
@@ -598,8 +598,8 @@ let TxGetter =
           }
       , default =
         { tgOtherEntries = [] : List TxSubGetter.Type
-        , tsgFrom = TxHalfGetter
-        , tsgTo = TxHalfGetter
+        , tgFrom = TxHalfGetter
+        , tgTo = TxHalfGetter
         }
       }