diff options
| -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) ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;; |