            (fstar-subp--search-insert-result result)
            (insert "\n")))))
     (`failure
-     (message "Search for [%s] failed: %s" terms (string-trim response)))))
+     (message "Search for [%s] failed: %s" terms (fstar--string-trim response)))))
 
 (defun fstar-subp--search-query (terms)
   "Prepare a `search' terms for TERMS."

    (_ (let ((header (format "[F* %s] " level)))
         (unless (stringp contents)
           (setq contents (prin1-to-string contents)))
         (message "%s" (fstar--indent-str (string-trim contents) header))))))

(defun fstar-subp--process-protocol-info (_vernum proto-features)
  "Register information (VERNUM and PROTO-FEATURES) about the protocol."

  (fstar-subp--ensure-available #'user-error 'compute)
  (when (eq terms 'interactive)
    (setq terms (fstar--read-string "Search terms%s: " (fstar--fqn-at-point))))
  (setq terms (fstar--string-trim terms))
  (fstar-subp--query (fstar-subp--search-query terms)
                (apply-partially #'fstar-subp--search-continuation terms)))

