diff options
| author | Clément Pit-Claudel | 2019-05-31 22:18:51 +0000 |
|---|---|---|
| committer | GitHub | 2019-05-31 22:18:51 +0000 |
| commit | 9ebfbb6abbd5480b434ceadebec824d7c8804e73 (patch) | |
| tree | 0c2ee671c463a2ece9eec067410ad5d7e93ea23b /generic | |
| parent | 104db184b8c29e4b8eb2240b68f0b389c2b92480 (diff) | |
| parent | 0486aa9af0a88411011aa13d39b25222a2c03020 (diff) | |
Merge pull request #425 from tchajed/fix-stray-h
Remove stray h
Diffstat (limited to 'generic')
| -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) ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;; |