diff --git a/mps/manual/source/topic/error.rst b/mps/manual/source/topic/error.rst index 6084f87dc66..c3ed24ee437 100644 --- a/mps/manual/source/topic/error.rst +++ b/mps/manual/source/topic/error.rst @@ -162,6 +162,8 @@ Result codes yet supported. +.. _topic-error-assertion: + Assertions ---------- diff --git a/mps/manual/source/topic/plinth.rst b/mps/manual/source/topic/plinth.rst index 5377da31104..21eb18073d2 100644 --- a/mps/manual/source/topic/plinth.rst +++ b/mps/manual/source/topic/plinth.rst @@ -23,8 +23,9 @@ purposes, both relating to operating system support: necessary facilities. 2. The plinth gives the :term:`client program` complete control of - interaction between the MPS and the user, including :ref:`messages - ` and :ref:`telemetry `. + interaction between the MPS and the user, including + :ref:`assertions ` and :ref:`telemetry + `. The plinth may be provided by the :term:`client program`; however, a sample implementation of the plinth using ANSI Standard C Library