corrects an unwanted commit

Author: rmatthes

Modules/.dir-locals.el

@@ -2,5 +2,4 @@
   . ((eval . 
 	   (progn
 	     (make-local-variable 'coq-prog-args)
-	     (setq coq-prog-args `("-emacs" "-noinit" "-indices-matter" "-type-in-type"
-"-R" "/home/matthes/Documents/Work/Research/Projects/UniMath/Githubbereich/UniMath/_build/default/UniMath" "UniMath" "-R"  "/home/matthes/Documents/Work/Research/Projects/UniMath/Githubbereich/UniMath/_build/default/largecatmodules" "largecatmodules" )))))))
+	     (setq coq-prog-args `("-emacs" "-noinit" "-indices-matter" "-type-in-type" "-R" ,(expand-file-name (locate-dominating-file buffer-file-name ".dir-locals.el")) "Modules" )))))))