Remove duplicated serverIdentity field (#491)

This commit is contained in:
Tristan de Cacqueray authored and GitHub committed 2023-03-26 12:37:31 +01:00
1 parent 0df7733125
commit 5743069021
1 file changed
-1
@@ -73,7 +73,6 @@ data NtfEnv = NtfEnv
store :: NtfStore,
storeLog :: Maybe (StoreLog 'WriteMode),
idsDrg :: TVar ChaChaDRG,
serverIdentity :: C.KeyHash,
tlsServerParams :: T.ServerParams,
serverIdentity :: C.KeyHash,
serverStats :: NtfServerStats