1 files changed, 1 insertions, 1 deletions
diff --git a/coq/coq.el b/coq/coq.el
index 0f424d17..05a6e55b 100644
--- a/coq/coq.el
+++ b/coq/coq.el
@@ -49,7 +49,7 @@
 
 ;; ----- coq specific menu
 
-(proof-defass-default menu-entries
+(defpgdefault menu-entries
   '(["Intros" coq-Intros t]
     ["Apply"  coq-Apply t]
     ["Search isos" coq-SearchIsos t]