From 9b4fe81e56291f710a5d0f8e22a6b71e1ef5e197 Mon Sep 17 00:00:00 2001 From: Hendrik Tews Date: Mon, 5 Nov 2012 13:22:07 +0000 Subject: fix seq-seq misspelling --- coq/coq-seq-compile.el | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'coq/coq-seq-compile.el') 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) -- cgit v1.2.3