aboutsummaryrefslogtreecommitdiffstats
path: root/emacs
diff options
context:
space:
mode:
Diffstat (limited to 'emacs')
-rw-r--r--emacs/loader.org4
1 files changed, 1 insertions, 3 deletions
diff --git a/emacs/loader.org b/emacs/loader.org
index 93150e7..bd14c7e 100644
--- a/emacs/loader.org
+++ b/emacs/loader.org
@@ -1097,9 +1097,7 @@ Adding hook to clojure mode to enable strict parentheses mode.
#+begin_src emacs-lisp
(use-package proof-general
:config
- (setq coq-compile-before-require t)
- (defadvice proof-goto-point (after adjust-window-in-proof)
- (golden-ratio)))
+ (setq coq-compile-before-require t))
#+end_src
#+RESULTS: