From 0486aa9af0a88411011aa13d39b25222a2c03020 Mon Sep 17 00:00:00 2001
From: Tej Chajed
Date: Fri, 31 May 2019 18:06:54 -0400
Subject: Remove stray h

Fixes #424
---
 generic/pg-goals.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'generic')

diff --git a/generic/pg-goals.el b/generic/pg-goals.el
index 3efc7bd7..2474c402 100644
--- a/generic/pg-goals.el
+++ b/generic/pg-goals.el
@@ -30,7 +30,7 @@
 ;; use Coq-specific code from a generic/*.el file.  Actually, this `require'
 ;; should fail if we're using PG with something else than Coq because the
 ;; coq/ subdir won't be in `load-path'!
-(require 'coq-diffs)h
+(require 'coq-diffs)
 
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
 ;;
-- 
cgit v1.2.3