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