From 2626ed51dc27abbdb44331542642c03e7f65ef3a Mon Sep 17 00:00:00 2001
From: Clément Pit--Claudel
Date: Sat, 20 Feb 2016 22:56:14 -0500
Subject: Simplify code to add to .emacs

---
 README.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/README.md b/README.md
index 1072c694..e5e947e0 100644
--- a/README.md
+++ b/README.md
@@ -20,7 +20,7 @@ Then add the following to your `.emacs`:
 
 ```
 ;; Open .v files with Proof General's Coq mode
-(require 'proof-site "~/.emacs.d/lisp/PG/generic/proof-site")
+(load "~/.emacs.d/lisp/PG/generic/proof-site")
 ```
 
 If Proof General complains about a version mismatch, make sure that the shell's `emacs` is indeed your usual Emacs. If not, run the Makefile again with an explicit path to Emacs. On Mac in particular you'll probably need something like
-- 
cgit v1.2.3