From 24bd39bffb742c7d66a0c46d704975acfcae21d7 Mon Sep 17 00:00:00 2001
From: Florian Schanda <florian@schanda.org.uk>
Date: Mon, 9 Oct 2023 12:43:45 +0200
Subject: [PATCH] Auto-exclude all examples

---
 language-reference-manual/lrm.rsl | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/language-reference-manual/lrm.rsl b/language-reference-manual/lrm.rsl
index 88f8bf35..1e32d1b8 100644
--- a/language-reference-manual/lrm.rsl
+++ b/language-reference-manual/lrm.rsl
@@ -66,11 +66,12 @@ type Name_Resolution extends Text {}
 
 type Recommendation extends Text {}
 
-type Example extends Text {
+final type Example extends Text {
   hidden_rsl  optional String
   rsl         optional String
   hidden_trlc optional String
   trlc        optional String
+  freeze untraced_reason = "Non-normative example"
 }
 
 checks Example {