gnat_rm.texi, [...]: Minor comment/text fixes.

2013-07-05  Robert Dewar  <dewar@adacore.com>

	* gnat_rm.texi, sem_prag.adb: Minor comment/text fixes.

From-SVN: r200697

gcc/ada/ChangeLog

 2013-07-05  Robert Dewar  <dewar@adacore.com>
 
+	* gnat_rm.texi, sem_prag.adb: Minor comment/text fixes.
+
+2013-07-05  Robert Dewar  <dewar@adacore.com>
+
 	* gnat_rm.texi: Add missing doc for various pragmas.
 
 2013-07-05  Robert Dewar  <dewar@adacore.com>

gcc/ada/gnat_rm.texi

@@ -5540,6 +5540,12 @@ semantics are identical to pragma Atomic.
 @node Pragma Short_Circuit_And_Or
 @unnumberedsec Pragma Short_Circuit_And_Or
 @findex Short_Circuit_And_Or
+@noindent
+Syntax:
+
+@smallexample @c ada
+pragma Short_Circuit_And_Or;
+@end smallexample
 
 @noindent
 This configuration pragma causes any occurrence of the AND operator applied to

gcc/ada/sem_prag.adb

@@ -5997,6 +5997,8 @@ package body Sem_Prag is
          Check_No_Identifiers;
          Check_At_Least_N_Arguments (1);
 
+         --  Check all arguments are names of generic units or instances
+
          Arg := Arg1;
          while Present (Arg) loop
             Exp := Get_Pragma_Arg (Arg);
@@ -16059,6 +16061,8 @@ package body Sem_Prag is
          -- Short_Circuit_And_Or --
          --------------------------
 
+         --  pragma Short_Circuit_And_Or;
+
          when Pragma_Short_Circuit_And_Or =>
             GNAT_Pragma;
             Check_Arg_Count (0);
@@ -16069,7 +16073,9 @@ package body Sem_Prag is
          -- Share_Generic --
          -------------------
 
-         --  pragma Share_Generic (NAME {, NAME});
+         --  pragma Share_Generic (GNAME {, GNAME});
+
+         --  GNAME ::= generic_unit_NAME | generic_instance_NAME
 
          when Pragma_Share_Generic =>
             GNAT_Pragma;