From a462ad98fb7b17a030f773b9202babf758fd3e2a Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 31 Jan 2008 22:20:56 +0000
Subject: Updated.

---
 coq/coq-syntax.el | 1 +
 1 file changed, 1 insertion(+)

diff --git a/coq/coq-syntax.el b/coq/coq-syntax.el
index f0d26253..d2cef08f 100644
--- a/coq/coq-syntax.el
+++ b/coq/coq-syntax.el
@@ -7,6 +7,7 @@
 ;; $Id$
 
 (require 'proof-syntax)
+(require 'proof-utils)                  ; proof-locate-executable
 (require 'coq-db)
 
 (defcustom coq-prog-name   ;; da: moved from coq.el since needed here
-- 
cgit v1.2.3