From 32114997160690f7773030e0e50d197946be9019 Mon Sep 17 00:00:00 2001
From: Daniel Firth <dan.firth@homotopic.tech>
Date: Sun, 13 Nov 2022 17:47:36 +0000
Subject: [PATCH] remove visible forall

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

diff --git a/manifest.dhall b/manifest.dhall
index c2e46d35..44cdc4a0 100644
--- a/manifest.dhall
+++ b/manifest.dhall
@@ -1,7 +1,7 @@
 let H = ./horizon.dhall
 
 let callHorizonAdopted
-    : ∀(name : Text) → ∀(revision : Text) → H.Attr H.HsPkg.Type
+    : Text → Text → H.Attr H.HsPkg.Type
     = λ(name : Text) →
       λ(revision : Text) →
         H.callCabal2nix
-- 
GitLab