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