fix README

leanprover-community · Oct 8, 2024 · 9b4088c · 9b4088c
1 parent 7376ac0
commit 9b4088c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/README.md b/README.md
@@ -64,7 +64,7 @@ see [Lake docs](https://github.com/leanprover/lean4/tree/master/src/lake#support
 You can import this in any lean projects by the following line to your `lakefile.lean`:
 
 ```lean
-require "leanprover-community" / "importGraph" @ "main"
+require "leanprover-community" / "importGraph" @ git "main"
 ```
 
 or, if you have a `lakefile.toml`, it would be