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/parsing.golden | 14 +++++++-------
 1 file changed, 7 insertions(+), 7 deletions(-)

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

diff --git a/test/golden/byRef/parsing.golden b/test/golden/byRef/parsing.golden
index 2cf91b6..3df8730 100644
--- a/test/golden/byRef/parsing.golden
+++ b/test/golden/byRef/parsing.golden
@@ -5,7 +5,7 @@
         , sourceColumn = Pos 1
         }
     )
-    ( Marker "first_proposition" )
+    ( Marker "prop1" )
     ( Lemma []
         ( StmtFormula
             ( FormulaChain
@@ -30,7 +30,7 @@
         , sourceColumn = Pos 1
         }
     )
-    ( Marker "second_proposition" )
+    ( Marker "prop2" )
     ( Lemma []
         ( StmtFormula
             ( FormulaChain
@@ -55,7 +55,7 @@
         , sourceColumn = Pos 1
         }
     )
-    ( Marker "third_proposition" )
+    ( Marker "prop3" )
     ( Lemma []
         ( StmtFormula
             ( FormulaChain
@@ -82,7 +82,7 @@
     )
     ( Qed
         ( JustificationRef
-            ( Marker "first_proposition" :| [] )
+            ( Marker "prop1" :| [] )
         )
     )
 , BlockLemma
@@ -92,7 +92,7 @@
         , sourceColumn = Pos 1
         }
     )
-    ( Marker "fourth_proposition" )
+    ( Marker "prop4" )
     ( Lemma []
         ( StmtFormula
             ( FormulaChain
@@ -137,7 +137,7 @@
             )
         )
         ( JustificationRef
-            ( Marker "first_proposition" :| [] )
+            ( Marker "prop1" :| [] )
         ) ( Qed JustificationEmpty )
     )
 , BlockLemma
@@ -147,7 +147,7 @@
         , sourceColumn = Pos 1
         }
     )
-    ( Marker "fifth_proposition" )
+    ( Marker "prop5" )
     ( Lemma []
         ( StmtFormula
             ( FormulaChain
-- 
cgit v1.2.3