From 3d42be7514f44d57de9d4e8efc64c172fa9f13e0 Mon Sep 17 00:00:00 2001
From: Siddhartha Gadgil <siddhartha.gadgil@gmail.com>
Date: Fri, 13 Sep 2024 15:12:02 +0530
Subject: [PATCH] Testing moogle too

---
 LeanSearchClientTest.lean                                      | 1 +
 {LeanSearchClient => LeanSearchClientTest}/MoogleExamples.lean | 0
 2 files changed, 1 insertion(+)
 rename {LeanSearchClient => LeanSearchClientTest}/MoogleExamples.lean (100%)

diff --git a/LeanSearchClientTest.lean b/LeanSearchClientTest.lean
index 2b3c22f..0be6107 100644
--- a/LeanSearchClientTest.lean
+++ b/LeanSearchClientTest.lean
@@ -1 +1,2 @@
 import LeanSearchClientTest.Examples
+import LeanSearchClientTest.MoogleExamples
diff --git a/LeanSearchClient/MoogleExamples.lean b/LeanSearchClientTest/MoogleExamples.lean
similarity index 100%
rename from LeanSearchClient/MoogleExamples.lean
rename to LeanSearchClientTest/MoogleExamples.lean