From 845899d0739dff3e715487d4239deeec2420709d Mon Sep 17 00:00:00 2001
From: ndwarshuis <ndwar@yavin4.ch>
Date: Mon, 19 Jun 2023 12:43:16 -0400
Subject: [PATCH] FIX typo

---
 dhall/Types.dhall | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dhall/Types.dhall b/dhall/Types.dhall
index 0007368..b31d93d 100644
--- a/dhall/Types.dhall
+++ b/dhall/Types.dhall
@@ -571,7 +571,7 @@ let TxHalfGetter =
 
 let FromTxHalfGetter = TxHalfGetter FromEntryGetter.Type
 
-let ToTxHalfGetter = TxHalfGetter FromEntryGetter.Type
+let ToTxHalfGetter = TxHalfGetter ToEntryGetter.Type
 
 let TxSubGetter =
     {-