From c732e8ad9806e30d71de9680e8e5b02c6d548596 Mon Sep 17 00:00:00 2001
From: Philipp Wullstein-Kammler <111539239+phiwuu@users.noreply.github.com>
Date: Thu, 31 Oct 2024 14:53:34 +0100
Subject: [PATCH] Add clause "simplified name" to LRM (#115)

Add a clause to the Language Reference Manual
that simplified names must be unique.
---
 language-reference-manual/lrm.trlc | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/language-reference-manual/lrm.trlc b/language-reference-manual/lrm.trlc
index 9cc1812..043d41c 100644
--- a/language-reference-manual/lrm.trlc
+++ b/language-reference-manual/lrm.trlc
@@ -1780,7 +1780,7 @@ section "Record object declarations" {
               after the last value is parsed.'''
   }
 
-  /*Name_Resolution Sufficiently_Distinct {
+  Name_Resolution Sufficiently_Distinct {
     text = '''When declaring record objects there are wider rules that
               indicate name clashes. Specifically a record
               may not be declared if its "simplified name"
@@ -1800,7 +1800,7 @@ section "Record object declarations" {
   Note Simplified_Name_Rationale {
     text = '''The purpose of this rule is to avoid requirements that
               have hard to distinguish names.'''
-  }*/
+  }
 
   Recommendation Record_Object_API {
     text = '''When exposing record instances through the API, it is