proof-nested-goals-allowed -> proof-completed-proof-behaviour

Patch for more flexible handling of closing goal...save regions
after proof has been completed.

1 files changed, 0 insertions, 1 deletions

diff --git a/coq/coq.el b/coq/coq.el
index 4a4ddc0c..5a4998fd 100644
--- a/coq/coq.el
+++ b/coq/coq.el
@@ -430,7 +430,6 @@
 	proof-kill-goal-command coq-kill-goal-command)
 
   (setq proof-goal-command-p 'coq-goal-command-p
-	proof-nested-goals-allowed t
 	proof-count-undos-fn 'coq-count-undos
 	proof-find-and-forget-fn 'coq-find-and-forget
         proof-goal-hyp-fn 'coq-goal-hyp