added loogle syntax

leanprover-community · Sep 19, 2024 · 8bf02ea · 8bf02ea
1 parent 67117ec
commit 8bf02ea
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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