                        (fstar-highlight-string (fstar--unparens response))))
     (`failure (message "Evaluation of [%s] failed: %s"
                        (fstar-highlight-string term)
-                       (string-trim response)))))
+                       (fstar--string-trim response)))))
 
 (defun fstar-subp--eval-query (term rules)
   "Prepare a `compute' query for TERM with specific reduction RULES."

  (let-alist opt-info
    (let ((doc (fstar--lispify-null .documentation))
          (doc-face '(font-lock-comment-face (:height 0.7))))
      (setq doc (string-trim (or doc "")))
      (setq doc (replace-regexp-in-string " *(default.*)" "" doc t t))
      (setq doc (replace-regexp-in-string " *\n+ *" " " doc t t))
      (when (eq doc "") (setq doc "(undocumented)"))
      (insert "  " .name sp1 (fstar-subp--option-val-to-string .value)
              (if (not display-default) "\n"

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

