   "Prepare a header for an info query for SYMBOL."
   (when (equal symbol "")
     (user-error "Looking up an empty name"))
-  (format "#info %s\n" symbol))
+  (format "#info %s" symbol))
 
 (defun fstar-subp-company--candidate-fqn (candidate)
   "Compute the fully qualified name of CANDIDATE."

  (fstar-assert (not fstar-subp--continuation))
  (setq fstar-subp--continuation continuation)
  (fstar-subp-start)
  (process-send-string fstar-subp--process query))

(defun fstar-subp--query-and-wait-1 (start query results-cell max-delay continuation)
  "Issues QUERY and wait for an answer for up to MAX-DELAY after START.

(defun fstar-subp--positional-info-query (pos)
  "Prepare a header for an info query at POS."
  (if (fstar--has-feature 'info-includes-symbol)
      (format "#info %s <input> %d %d"
              (or (fstar--fqn-at-point pos) "")
              (line-number-at-pos pos)
              (fstar-subp--column-number-at-pos pos))
    (format "#info <input> %d %d"
            (line-number-at-pos pos)
            (fstar-subp--column-number-at-pos pos))))

