Prepend cl- to more c[ad]+r instances

1 files changed, 2 insertions, 2 deletions

diff --git a/coq/coq.el b/coq/coq.el
index c7163769..c7aa4b22 100644
--- a/coq/coq.el
+++ b/coq/coq.el
@@ -1454,8 +1454,8 @@ Maintained by a hook in `proof-shell-handle-delayed-output-hook'.")
          (begcross (car positions))
          (beghypname (cadr positions))
          (endhypname (cl-caddr positions))
-         (beg (cadddr positions))
-         (end (cadddr (cdr positions))))
+         (beg (cl-cadddr positions))
+         (end (cl-cadddr (cdr positions))))
     (let ((hypnameov (coq-make-hypname-overlay beghypname endhypname fstname buf))
           (hypov (coq-make-hyp-overlay beg end fstname buf))
           (crosshypov (coq-make-hypcross-overlay begcross (+ 1 begcross) fstname buf))