Skip to content

Commit

Permalink
Editorial change: correcting widget class in code examples
Browse files Browse the repository at this point in the history
  • Loading branch information
gusthoff committed Jul 20, 2024
1 parent 3f078a1 commit 9b5f7ec
Showing 1 changed file with 4 additions and 3 deletions.
7 changes: 4 additions & 3 deletions content/courses/advanced-ada/parts/data_types/records.rst
Original file line number Diff line number Diff line change
Expand Up @@ -1496,7 +1496,7 @@ via assignments |mdash| in this case, no
Let's see an example:

.. code:: ada run_button project=Courses.Advanced_Ada.Data_Types.Records.Discriminants.Mutable_Subtype
:class: ada-expect-compile-error
:class: ada-run-expect-failure

package Mutability is

Expand Down Expand Up @@ -1538,6 +1538,7 @@ component of indefinite subtype, we might see the corresponding checks fail at
runtime. For example:

.. code:: ada run_button project=Courses.Advanced_Ada.Data_Types.Records.Discriminants.Mutable_Subtype_Error
:class: ada-run-expect-failure

package Mutability is

Expand Down Expand Up @@ -1620,7 +1621,7 @@ When declaring objects of these subtypes, we need to take the constraints into
account:

.. code:: ada run_button project=Courses.Advanced_Ada.Data_Types.Records.Discriminants.Derived_Subtypes
:class: ada-expect-compile-error
:class: ada-run-expect-failure

package Subtypes_With_Discriminants is

Expand Down Expand Up @@ -1720,7 +1721,7 @@ as expected, we have to perform a
:ref:`type conversion <Adv_Ada_Type_Conversion>` in the assignments:

.. code:: ada run_button project=Courses.Advanced_Ada.Data_Types.Records.Discriminants.Derived_Types
:class: ada-expect-compile-error
:class: ada-run-expect-failure

with Derived_With_Discriminants;
use Derived_With_Discriminants;
Expand Down

0 comments on commit 9b5f7ec

Please sign in to comment.