 (defun fstar-subp-filter (proc string)
   "Handle PROC's output (STRING)."
   (when string
-    (fstar-subp-log "OUTPUT [%s]" string)
+    (fstar-log "OUTPUT [%s]" string)
     (if (fstar-subp-live-p proc)
         (fstar-subp-with-process-buffer proc
           (goto-char (point-max))


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

;; 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

