# HG changeset patch
# User Juanma Barranquero <lekktu@gmail.com>
# Date 1165235532 0
# Node ID f76dd5acc4b2ca4cd7157935d336b85876dc70c6
# Parent  ae98808fc6e4d97a7286c5c7cd594608e6473281
(ada-check-current): Doc fix.
(ada-make-body-gnatstub): Doc fix.  Remove redundant `progn'.

diff -r ae98808fc6e4 -r f76dd5acc4b2 lisp/progmodes/ada-xref.el
--- a/lisp/progmodes/ada-xref.el	Mon Dec 04 12:31:38 2006 +0000
+++ b/lisp/progmodes/ada-xref.el	Mon Dec 04 12:32:12 2006 +0000
@@ -1190,7 +1190,7 @@
     (compile (ada-quote-cmd cmd))))
 
 (defun ada-check-current (&optional arg)
-  "Recompile the current file.
+  "Check the current file for syntax errors.
 If ARG is not nil, ask for user confirmation of the command."
   (interactive "P")
   (ada-compile-current arg 'check_cmd))
@@ -2211,6 +2211,7 @@
 (defun ada-make-body-gnatstub (&optional interactive)
   "Create an Ada package body in the current buffer.
 This function uses the `gnatstub' program to create the body.
+If INTERACTIVE is nil, kill the current buffer.
 This function typically is to be hooked into `ff-file-created-hook'."
   (interactive "p")
   (ada-require-project-file)
@@ -2220,9 +2221,8 @@
   ;; If the current buffer is the body (as is the case when calling this
   ;; function from ff-file-created-hook), then kill this temporary buffer
   (unless interactive
-    (progn
-      (set-buffer-modified-p nil)
-      (kill-buffer (current-buffer))))
+    (set-buffer-modified-p nil)
+    (kill-buffer (current-buffer)))
 
 
   ;;  Make sure the current buffer is the spec (this might not be the case