diff options
| author | Tej Chajed | 2019-05-31 18:06:54 -0400 |
|---|---|---|
| committer | Tej Chajed | 2019-05-31 18:09:15 -0400 |
| commit | 0486aa9af0a88411011aa13d39b25222a2c03020 (patch) | |
| tree | 0c2ee671c463a2ece9eec067410ad5d7e93ea23b | |
| parent | 104db184b8c29e4b8eb2240b68f0b389c2b92480 (diff) | |
Remove stray h
Fixes #424
| -rw-r--r-- | generic/pg-goals.el | 2 |
1 files changed, 1 insertions, 1 deletions
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) ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;; |