diff --git a/spacemacs b/spacemacs
index 2aee295..6b075c9 100644
--- a/spacemacs
+++ b/spacemacs
@@ -221,6 +221,9 @@ you should place your code here."
   (when (file-exists-p twelf-root)
     (load-file (concat twelf-root "emacs/twelf-init.el")))
 
+  (setq spacemacs-default-jump-handlers
+        (remove 'evil-goto-definition spacemacs-default-jump-handlers))
+
   (setq lean-rootdir "/home/gebner/lean")
   (setq flycheck-display-errors-function nil) ; disable annoying flycheck tooltips
   (when (file-exists-p lean-rootdir)