From c9e6a07cdf3c86bee2c6435cdd813bd11ca2e40f Mon Sep 17 00:00:00 2001 From: Bastien Guerry Date: Wed, 5 Mar 2014 15:38:48 +0100 Subject: [PATCH] ob-coq.el: Declare external functions --- lisp/ob-coq.el | 3 +++ 1 file changed, 3 insertions(+) diff --git a/lisp/ob-coq.el b/lisp/ob-coq.el index f9651cac2..be3b9f6fd 100644 --- a/lisp/ob-coq.el +++ b/lisp/ob-coq.el @@ -32,6 +32,9 @@ ;;; Code: (require 'ob) +(declare-function run-coq "ext:coq-inferior.el" (cmd)) +(declare-function coq-proc "ext:coq-inferior.el" ()) + (defvar org-babel-coq-buffer "*coq*" "Buffer in which to evaluate coq code blocks.")