From 472b137b9a1d5e78940bcac6f309bbe827ebddfb Mon Sep 17 00:00:00 2001 From: ndwarshuis Date: Fri, 21 Jul 2023 23:45:53 -0400 Subject: [PATCH] ENH remove useless field --- dhall/Types.dhall | 1 - 1 file changed, 1 deletion(-) diff --git a/dhall/Types.dhall b/dhall/Types.dhall index f0b1190..c24ddea 100644 --- a/dhall/Types.dhall +++ b/dhall/Types.dhall @@ -1069,7 +1069,6 @@ let ShadowTransfer = specified in other fields of this type. -} TransferMatcher.Type - , stType : TransferType , stRatio : {- Fixed multipler to translate value of matched transfer to this one.