diff --git a/.gitignore b/.gitignore
index 20c60d7..37e9d24 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,2 +1,3 @@
 /build
 /lake-packages/*
+.lake
diff --git a/nevanlinna/test.lean b/nevanlinna/test.lean
index 8b13789..0849845 100644
--- a/nevanlinna/test.lean
+++ b/nevanlinna/test.lean
@@ -1 +1,3 @@
+import Mathlib.Topology.Basic
 
+#check TopologicalSpace