Remove dependency on Scott's repo

PatrickMassot · Jan 9, 2019 · b12105e · b12105e
1 parent dff16e7
commit b12105e
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/leanpkg.toml b/leanpkg.toml
@@ -6,4 +6,3 @@ path = "src"
 
 [dependencies]
 mathlib = {git = "https://github.com/leanprover/mathlib", rev = "f488635dfa1b4bb69a4eeb552de8d0d37de81492"}
-lean-category-theory = {git = "https://github.com/semorrison/lean-category-theory", rev = "968a29fe7c0b20e10d8a27e120aca8ddc184e1ea"}