From 3a5beb79132e23b335f28ab2aef24fa6e587797d Mon Sep 17 00:00:00 2001
From: Pierre Courtieu
Date: Thu, 28 May 2020 14:23:17 +0200
Subject: Fix default value for proof-shell-last-cmd-left-goals-p.

This variable was still not used anywhere, but will soon.
---
 generic/proof-config.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/generic/proof-config.el b/generic/proof-config.el
index 14fcdcac..8d539191 100644
--- a/generic/proof-config.el
+++ b/generic/proof-config.el
@@ -1499,7 +1499,7 @@ on `proof-shell-eager-annotation-start' and
   :type '(choice (const nil) regexp)
   :group 'proof-shell)
 
-(defcustom proof-shell-last-cmd-left-goals-p nil
+(defcustom proof-shell-last-cmd-left-goals-p (lambda () nil)
   "A function to test: are we currently inside a proof?
 
 This function takes no argument and should use
-- 
cgit v1.2.3