From 7a80b75aeaf7fd6e8828b843fa58664f11451833 Mon Sep 17 00:00:00 2001
From: adelon <22380201+adelon@users.noreply.github.com>
Date: Mon, 1 Apr 2024 22:40:33 +0200
Subject: Allow numbers in markers (from the second char)

---
 test/golden/byRef/glossing.golden | 14 +++++++-------
 1 file changed, 7 insertions(+), 7 deletions(-)

(limited to 'test/golden/byRef/glossing.golden')

diff --git a/test/golden/byRef/glossing.golden b/test/golden/byRef/glossing.golden
index e213bc9..cc7281e 100644
--- a/test/golden/byRef/glossing.golden
+++ b/test/golden/byRef/glossing.golden
@@ -5,7 +5,7 @@
         , sourceColumn = Pos 1
         }
     )
-    ( Marker "first_proposition" )
+    ( Marker "prop1" )
     ( Lemma []
         ( TermSymbol
             ( SymbolPredicate
@@ -27,7 +27,7 @@
         , sourceColumn = Pos 1
         }
     )
-    ( Marker "second_proposition" )
+    ( Marker "prop2" )
     ( Lemma []
         ( TermSymbol
             ( SymbolPredicate
@@ -49,7 +49,7 @@
         , sourceColumn = Pos 1
         }
     )
-    ( Marker "third_proposition" )
+    ( Marker "prop3" )
     ( Lemma []
         ( TermSymbol
             ( SymbolPredicate
@@ -73,7 +73,7 @@
     )
     ( Qed
         ( JustificationRef
-            ( Marker "first_proposition" :| [] )
+            ( Marker "prop1" :| [] )
         )
     )
 , BlockLemma
@@ -83,7 +83,7 @@
         , sourceColumn = Pos 1
         }
     )
-    ( Marker "fourth_proposition" )
+    ( Marker "prop4" )
     ( Lemma []
         ( TermSymbol
             ( SymbolPredicate
@@ -127,7 +127,7 @@
             )
         )
         ( JustificationRef
-            ( Marker "first_proposition" :| [] )
+            ( Marker "prop1" :| [] )
         ) ( Qed JustificationEmpty )
     )
 , BlockLemma
@@ -137,7 +137,7 @@
         , sourceColumn = Pos 1
         }
     )
-    ( Marker "fifth_proposition" )
+    ( Marker "prop5" )
     ( Lemma []
         ( TermSymbol
             ( SymbolPredicate
-- 
cgit v1.2.3