diff options
| author |  Hendrik Tews <hendrik@askra.de> | 2012-11-05 13:22:07 +0000 |
|---|---|---|
| committer | Hendrik Tews <hendrik@askra.de> | 2012-11-05 13:22:07 +0000 |
| commit | 9b4fe81e56291f710a5d0f8e22a6b71e1ef5e197 (patch) | |
| tree | cd78be23223c8839394f71f5db76c03e59827be2 /coq/coq-seq-compile.el | |
| parent | f953b34552f06fa7e1cac60494373be67e44ddf8 (diff) | |
fix seq-seq misspelling
Diffstat (limited to 'coq/coq-seq-compile.el')
| -rw-r--r-- | coq/coq-seq-compile.el | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/coq/coq-seq-compile.el b/coq/coq-seq-compile.el index 27521c04..a803c5ac 100644 --- a/coq/coq-seq-compile.el +++ b/coq/coq-seq-compile.el @@ -142,7 +142,7 @@ Display errors in buffer `coq-compile-response-buffer'." (error "ERROR: Recompiling coq library %s %s %s" src-file terminated-text coqc-status))))) -(defun coq-seq-seq-compile-library-if-necessary (max-dep-obj-time src obj) +(defun coq-seq-compile-library-if-necessary (max-dep-obj-time src obj) "Recompile SRC to OBJ if necessary. This function compiles SRC to the coq library object file OBJ if one of the following conditions is true: @@ -233,7 +233,7 @@ function." (coq-seq-make-lib-up-to-date coq-obj-hash span dep)) dependencies)) (setq result - (coq-seq-seq-compile-library-if-necessary + (coq-seq-compile-library-if-necessary (coq-max-dep-mod-time deps-mod-time) lib-src-file lib-obj-file))) (message "coq-auto-compile: no source file for %s" lib-obj-file) |