From 718c85ad3dee0eabd9b37afb3d55412f52720c8d Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 8 Aug 2002 09:50:17 +0000
Subject: Fix condition for displaying dependency menu

---
 generic/pg-user.el | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/generic/pg-user.el b/generic/pg-user.el
index e91891c4..b04ee796 100644
--- a/generic/pg-user.el
+++ b/generic/pg-user.el
@@ -909,7 +909,8 @@ If NUM is negative, move upwards.  Return new span."
        (list (vector
 	      "Move down"   (list 'pg-move-span-contents span 1)
 	      (pg-numth-span-higher-or-lower (pg-control-span-of span) 1 'noerr))))
-   (if (and proof-experimental-features (featurep 'proof-depends))
+   (if (and proof-experimental-features 
+	    proof-shell-theorem-dependency-list-regexp)
        (proof-dependency-in-span-context-menu span))))
 
 
-- 
cgit v1.2.3