From 13aae6b72b15ea8614b07c5b0da05751b7b11956 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sat, 5 Sep 2009 18:08:15 +0000
Subject: Missing require

---
 coq/coq-mmm.el | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/coq/coq-mmm.el b/coq/coq-mmm.el
index 21fa678e..e8ff56eb 100644
--- a/coq/coq-mmm.el
+++ b/coq/coq-mmm.el
@@ -12,6 +12,8 @@
 ;; code which also uses skeletons: the interesting positions used
 ;; for MMM markup are made into holes!
 
+(require 'mmm-auto)
+
 (mmm-add-group
  'coq
  `((coq-text
-- 
cgit v1.2.3