1 files changed, 62 insertions, 8 deletions
diff --git a/test/golden/coord/parsing.golden b/test/golden/coord/parsing.golden
index 2c1ca80..f148da6 100644
--- a/test/golden/coord/parsing.golden
+++ b/test/golden/coord/parsing.golden
@@ -485,12 +485,38 @@
             }
         )
     )
-, BlockClaim Proposition
+, BlockProof
+    ( Location
+        { locFile = "test/examples/coord.tex"
+        , locLine = 33
+        , locColumn = 1
+        }
+    )
+    ( Qed
+        ( Just
+            ( Location
+                { locFile = "test/examples/coord.tex"
+                , locLine = 34
+                , locColumn = 5
+                }
+            )
+        )
+        ( JustificationRef
+            ( Marker "bar" :| [] )
+        )
+    )
     ( Location
         { locFile = "test/examples/coord.tex"
         , locLine = 35
         , locColumn = 1
         }
+    )
+, BlockClaim Proposition
+    ( Location
+        { locFile = "test/examples/coord.tex"
+        , locLine = 38
+        , locColumn = 1
+        }
     ) Nothing
     ( Marker "adjs" )
     ( Claim []
@@ -503,7 +529,7 @@
                 ( Adj
                     ( Location
                         { locFile = "test/examples/coord.tex"
-                        , locLine = 36
+                        , locLine = 39
                         , locColumn = 12
                         }
                     )
@@ -516,7 +542,7 @@
                     [ Adj
                         ( Location
                             { locFile = "test/examples/coord.tex"
-                            , locLine = 36
+                            , locLine = 39
                             , locColumn = 20
                             }
                         )
@@ -531,10 +557,38 @@
             }
         )
     )
+, BlockProof
+    ( Location
+        { locFile = "test/examples/coord.tex"
+        , locLine = 41
+        , locColumn = 1
+        }
+    )
+    ( Qed
+        ( Just
+            ( Location
+                { locFile = "test/examples/coord.tex"
+                , locLine = 42
+                , locColumn = 5
+                }
+            )
+        )
+        ( JustificationRef
+            ( Marker "foo" :|
+                [ Marker "baz" ]
+            )
+        )
+    )
+    ( Location
+        { locFile = "test/examples/coord.tex"
+        , locLine = 43
+        , locColumn = 1
+        }
+    )
 , BlockClaim Proposition
     ( Location
         { locFile = "test/examples/coord.tex"
-        , locLine = 39
+        , locLine = 45
         , locColumn = 1
         }
     ) Nothing
@@ -548,7 +602,7 @@
                 [ AdjL
                     ( Location
                         { locFile = "test/examples/coord.tex"
-                        , locLine = 40
+                        , locLine = 46
                         , locColumn = 19
                         }
                     )
@@ -563,7 +617,7 @@
             ( Noun
                 ( Location
                     { locFile = "test/examples/coord.tex"
-                    , locLine = 40
+                    , locLine = 46
                     , locColumn = 23
                     }
                 )
@@ -594,7 +648,7 @@
                     [ AdjL
                         ( Location
                             { locFile = "test/examples/coord.tex"
-                            , locLine = 41
+                            , locLine = 47
                             , locColumn = 26
                             }
                         )
@@ -609,7 +663,7 @@
                 ( Noun
                     ( Location
                         { locFile = "test/examples/coord.tex"
-                        , locLine = 41
+                        , locLine = 47
                         , locColumn = 30
                         }
                     )