            (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."

             (buffer-substring-no-properties
              (1- (point)) (save-excursion (backward-list) (1+ (point)))))
            (t (fstar--fqn-at-point))))))
  (setq term (string-trim term))

  (fstar-subp--query (fstar-subp--eval-query term rules)
                (apply-partially #'fstar-subp--eval-continuation term rules)))

  (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)))

