From aa3de2bf64ed4544ec465315cb219b848c560b36 Mon Sep 17 00:00:00 2001
From: Derenash <eyer.derenash@gmail.com>
Date: Tue, 20 Feb 2024 18:18:24 -0300
Subject: [PATCH] renamed testBBT function

---
 book/testBBT.kind2 | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/book/testBBT.kind2 b/book/testBBT.kind2
index 93b8b3c7..01be53b4 100644
--- a/book/testBBT.kind2
+++ b/book/testBBT.kind2
@@ -221,7 +221,7 @@ RunTests
   let solution = (Tests.run tests)
   solution
 
-testbbt
+testBBT
 // : (Maybe String)
 // : String
 // : (List.Map #U60 String)