diff --git a/vimrc b/vimrc
index 603b13d..8005837 100644
--- a/vimrc
+++ b/vimrc
@@ -209,7 +209,7 @@ lua <<EOF
     },
     mappings = true,
     infoview = {
-      autoopen = false,
+      -- autoopen = false,
     },
     -- treesitter = {},
     lsp = {
@@ -225,7 +225,6 @@ lua <<EOF
       init_options = {
         semanticHighlighting = true,
       },
-      cmd = {"lean", "--server"},
     },
   }