From fe55c2ddb1758a2518397ff8b0d2958baefb8f3b Mon Sep 17 00:00:00 2001
From: Samuel Mimram <smimram@gmail.com>
Date: Fri, 29 Nov 2024 15:42:31 +0100
Subject: [PATCH] Fix for now.

---
 examples/birds.cccatt | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/examples/birds.cccatt b/examples/birds.cccatt
index f2f16e5..9570097 100644
--- a/examples/birds.cccatt
+++ b/examples/birds.cccatt
@@ -153,8 +153,9 @@ coh warblerstarstar {a b c d : .} : (a -> b -> c -> c -> d) -> a -> b -> c -> d
 # Relationship with SK
 #
 
+coh ap {a b : .} (f : a -> b) (x : a) : b
 let B := bluebird
 let K := kestrel
 let S := starling
 
-coh blackbird-bluebird : blackbird = ap (ap B B) B
\ No newline at end of file
+# coh blackbird-bluebird : blackbird = ap (ap B B) B
\ No newline at end of file