diff --git a/LeanSearchClient.lean b/LeanSearchClient.lean index ee7b95d..12be72c 100644 --- a/LeanSearchClient.lean +++ b/LeanSearchClient.lean @@ -2,4 +2,4 @@ -- Import modules here that should be built as part of the library. import LeanSearchClient.Basic import LeanSearchClient.Syntax -import LeanSearchClient.LoogleSyntax +-- import LeanSearchClient.LoogleSyntax