 
 (defun fstar-subp--query (query continuation)
   "Send QUERY to F* subprocess; handle results with CONTINUATION."
-  (fstar-subp-log "QUERY [%s]" query)
+  (fstar-log "QUERY [%s]" query)
   (fstar-assert (not fstar-subp--continuation))
   (setq fstar-subp--continuation continuation)
   (fstar-subp-start)

           (resp-end      (point-at-bol))
           (resp-real-end (point-at-eol))
           (response      (string-trim (buffer-substring resp-beg resp-end))))
      (fstar-subp-log "RESPONSE [%s] [%s]" status response)
      (delete-region resp-beg resp-real-end)
      (when (fstar-subp-live-p proc)
        (fstar-subp-with-source-buffer proc

;; URL: https://github.com/FStarLang/fstar.el

;; Created: 27 Aug 2015
;; Version: 0.4
;; Package-Requires: ((emacs "24.3") (dash "2.11"))
;; Keywords: convenience, languages

