diff options
Diffstat (limited to 'coq/coq-seq-compile.el')
-rw-r--r-- | coq/coq-seq-compile.el | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/coq/coq-seq-compile.el b/coq/coq-seq-compile.el index 4889ccaf..3cdcd02a 100644 --- a/coq/coq-seq-compile.el +++ b/coq/coq-seq-compile.el @@ -24,6 +24,7 @@ ;;; Code: +(eval-when-compile (require 'cl-lib)) (defvar queueitems) ; dynamic scope in p-s-extend-queue-hook (require 'coq-compile-common) @@ -335,8 +336,8 @@ function returns () if MODULE-ID comes from the standard library." ;; error-message))) ;; (coq-display-compile-response-buffer) (error error-message))) - (assert (<= (length result) 1) - "Internal error in coq-seq-map-module-id-to-obj-file") + (cl-assert (<= (length result) 1) + "Internal error in coq-seq-map-module-id-to-obj-file") (car-safe result))) (defun coq-seq-check-module (coq-object-local-hash-symbol span module-id &optional from) |