From 8945f7d12365f7debbbe937ba6ff68620cad4273 Mon Sep 17 00:00:00 2001 From: Johannes Kanig Date: Tue, 31 Oct 2023 11:23:14 +0900 Subject: [PATCH] fix typo in RM --- doc/language_reference/language_reference.rst | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/language_reference/language_reference.rst b/doc/language_reference/language_reference.rst index 426e4f89e..1083f197c 100644 --- a/doc/language_reference/language_reference.rst +++ b/doc/language_reference/language_reference.rst @@ -268,7 +268,7 @@ A type refinement describes under which condition a specific message can be expe Only fields of type ``Opaque`` can be refined. Types defined in other packages are referenced by a qualified name in the form ``Package_Name::Message_Type_Name``. The condition can refer to fields of the refined type. -To indicate that a refined field is empty (i.e. does not exit) under a certain condition, a null message can be used as message type. +To indicate that a refined field is empty (i.e. does not exist) under a certain condition, a null message can be used as message type. **Example**