From 0600a9173ea19754091bac9b83b81507cc20e0a0 Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Tue, 16 Jun 2015 19:55:57 +0200
Subject: [PATCH] make ProofGeneral work again

---
 .dir-locals.el             | 2 +-
 lib/ModuRes/.dir-locals.el | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/.dir-locals.el b/.dir-locals.el
index ee8453446..e9d4c92f0 100644
--- a/.dir-locals.el
+++ b/.dir-locals.el
@@ -3,6 +3,6 @@
 
 ((coq-mode
   (coq-load-path
-   (rec "lib/ModuRes/" "ModuRes"))))
+   (rec "." "_"))))
 
 
diff --git a/lib/ModuRes/.dir-locals.el b/lib/ModuRes/.dir-locals.el
index 44673b5a4..a13fe1a9d 100644
--- a/lib/ModuRes/.dir-locals.el
+++ b/lib/ModuRes/.dir-locals.el
@@ -3,6 +3,6 @@
 
 ((coq-mode
   (coq-load-path
-   (rec "./" "ModuRes"))))
+   (rec "../../" "_"))))
 
 
-- 
GitLab