aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/a-coinho-shared.adb
diff options
context:
space:
mode:
authorArnaud Charlet <charlet@gcc.gnu.org>2014-10-10 15:57:55 +0200
committerArnaud Charlet <charlet@gcc.gnu.org>2014-10-10 15:57:55 +0200
commit79904ebc48b0103c5a11dcfb76ee7c37399a213a (patch)
tree7195986a7034a9f4a49452941e16b32f41232bcf /gcc/ada/a-coinho-shared.adb
parent06a04ce75ab48a0a1b539b2140cd22a746f4c030 (diff)
downloadgcc-79904ebc48b0103c5a11dcfb76ee7c37399a213a.zip
gcc-79904ebc48b0103c5a11dcfb76ee7c37399a213a.tar.gz
gcc-79904ebc48b0103c5a11dcfb76ee7c37399a213a.tar.bz2
[multiple changes]
2014-10-10 Gary Dismukes <dismukes@adacore.com> * a-coinho-shared.adb: Minor typo fix. * prj-env.ads: Minor reformatting. 2014-10-10 Hristian Kirtchev <kirtchev@adacore.com> * sem_res.adb (Resolve_String_Literal): Do not generate a string literal subtype for the default expression of a formal parameter in GNATprove mode. 2014-10-10 Yannick Moy <moy@adacore.com> * errout.adb (SPARK_Msg_N): Issue error unless SPARK_Mode is Off. 2014-10-10 Ed Schonberg <schonberg@adacore.com> * exp_ch5.adb (Expand_Formal_Container_Element_Loop): Analyze declaration for loop parameter before rest of loop, and set entity kind to prevent assignments to it in the user code. * sem_ch3.adb (Analyze_Object_Contract): No contracts apply to the loop parameter in an element iteration over o formal container. 2014-10-10 Robert Dewar <dewar@adacore.com> * gnat_ugn.texi: Document use of user-level routines to handle e.g. col major arrays. 2014-10-10 Doug Rupp <rupp@adacore.com> * s-osinte-android.adb: Fix misspelling. * gsocket.h: Tweak the Android quirks. 2014-10-10 Robert Dewar <dewar@adacore.com> * errout.ads (SPARK_Msg_N): Fix spec to match change in body. From-SVN: r216083
Diffstat (limited to 'gcc/ada/a-coinho-shared.adb')
-rw-r--r--gcc/ada/a-coinho-shared.adb2
1 files changed, 1 insertions, 1 deletions
diff --git a/gcc/ada/a-coinho-shared.adb b/gcc/ada/a-coinho-shared.adb
index 94d4fe4..cf9d1cc 100644
--- a/gcc/ada/a-coinho-shared.adb
+++ b/gcc/ada/a-coinho-shared.adb
@@ -26,7 +26,7 @@
------------------------------------------------------------------------------
-- Note: special attention must be paid to the case of simultaneous access
--- to internal shared objects and elements by difference tasks. The Reference
+-- to internal shared objects and elements by different tasks. The Reference
-- counter of internal shared object is the only component protected using
-- atomic operations; other components and elements can be modified only when
-- reference counter is equal to one (so there are no other references to this