Allow numbers in markers (from the second char)

1 files changed, 7 insertions, 7 deletions

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