Auto-exclude all examples

christophkloeffel · Oct 9, 2023 · 24bd39b · 24bd39b
1 parent e2518b9
commit 24bd39b
Showing 1 changed file with 2 additions and 1 deletion.
diff --git 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 {