+2019-07-04 Piotr Trojanek <trojanek@adacore.com>
+
+ * sem_util.adb (Yields_Synchronized_Object): Fix typos in
+ comments.
+
2019-07-04 Yannick Moy <moy@adacore.com>
* sem_util.adb (Yields_Synchronized_Object): Adapt to new SPARK
-- A record type or type extension yields a synchronized object when its
-- discriminants (if any) lack default values and all components are of
- -- a type that yelds a synchronized object.
+ -- a type that yields a synchronized object.
elsif Is_Record_Type (Typ) then
-- Inspect all entities defined in the scope of the type, looking for
- -- components of a type that does not yeld a synchronized object or
+ -- components of a type that does not yield a synchronized object or
-- for discriminants with default values.
Id := First_Entity (Typ);