disable proof general

diff --git a/init.el b/init.el
index 8ab378dde2c9c49de2f6ef26fefaadf8d4a39859..07208996c6b25a4212238fd001edc160a77005ea 100644 (file)
--- a/init.el
+++ b/init.el
@@ -228,6 +228,4 @@
 ;; flysheck
 (add-hook 'after-init-hook #'global-flycheck-mode)
 
-;; coq proof general
-(load-file "~/.emacs.d/ProofGeneral/generic/proof-site.el")