 (defun fstar-subp--completion-query (prefix)
   "Prepare a #completions query from PREFIX."
   (fstar-assert (not (string-match-p " " prefix)))
-  (format "#completions %s #\n" prefix))
+  (format "#completions %s #" prefix))
 
 (defun fstar-subp-company--parse-candidate (line)
   "Extract a candidate from LINE."

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

  "Prepare a header for an info query for SYMBOL."
  (when (equal symbol "")
    (user-error "Looking up an empty name"))
  (format "#info %s" symbol))

(defun fstar-subp-company--candidate-fqn (candidate)
  "Compute the fully qualified name of CANDIDATE."
