From cab7aa82a3dbbce000507bab08801bf0f3bca9ba Mon Sep 17 00:00:00 2001
From: Joshua Potter <jrpotter2112@gmail.com>
Date: Thu, 4 May 2023 15:12:57 -0600
Subject: [PATCH] Add missing `LTuple` import.

---
 Bookshelf.lean | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Bookshelf.lean b/Bookshelf.lean
index 4cd3a3c..62113ba 100644
--- a/Bookshelf.lean
+++ b/Bookshelf.lean
@@ -1,3 +1,4 @@
 import Bookshelf.Combinator
 import Bookshelf.List
+import Bookshelf.LTuple
 import Bookshelf.Real