             ;; The coverage manifest uses ISO-8859-1, see
             ;; https://github.com/bazelbuild/bazel/blob/3.1.0/src/main/java/com/google/devtools/build/lib/analysis/test/InstrumentedFileManifestAction.java#L68.
             (coding-system-for-read 'iso-8859-1-unix)
-            (instrumented-files ())
-            (instrumented-names ()))
+            (instrumented-files ()))
         (with-temp-buffer
           (insert-file-contents (concat "/:" coverage-manifest))
           (while (not (eobp))

      ;; Yuck!  More messing around with Edebug internals.
      (dolist (data edebug-form-data)
        (let* ((name (edebug--form-data-name data))
               (frequencies (get name 'edebug-freq-count))
               ;; We don’t really know the number of function calls,
               ;; so assume it’s the same as the hit count of the
               ;; first breakpoint.

        (load-file-name fullname)
        (set-auto-coding-for-load t)
        (inhibit-file-name-operation nil)
        (edebug-all-defs t)
        (edebug-new-definition-function #'elisp/ert/new--definition)
        (edebug-after-instrumentation-function
         #'elisp/ert/after--instrumentation))
    (with-current-buffer buffer
      (insert-file-contents fullname :visit)
      ;; The file buffer needs to be current for Edebug
