From 2929b58cdef7b6fe0e1ee2c6e066b926dc4891a1 Mon Sep 17 00:00:00 2001
From: Patrick Elliott <patrick.d.elliott@gmail.com>
Date: Wed, 15 Aug 2018 08:17:20 +0200
Subject: [PATCH] Modified variable

---
 modules/lang/coq/config.el | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/modules/lang/coq/config.el b/modules/lang/coq/config.el
index 926c69592..a8a600663 100644
--- a/modules/lang/coq/config.el
+++ b/modules/lang/coq/config.el
@@ -1,6 +1,7 @@
 ;;; lang/coq/config.el -*- lexical-binding: t; -*-
 
-(defvar +coq-pg-loc "/home/patrl/GitHub/PG/generic")
+;; set this to the absolute path of the folder containing proof-site.el, e.g. /home/$USER/GitHub/PG/generic
+(defvar +coq-pg-loc nil)
 
 (def-package! proof-site
   :load-path +coq-pg-loc