1 files changed, 17 insertions, 17 deletions
diff --git a/test/golden/inductive/parsing.golden b/test/golden/inductive/parsing.golden
index 0e7acd7..1690a6b 100644
--- a/test/golden/inductive/parsing.golden
+++ b/test/golden/inductive/parsing.golden
@@ -2,7 +2,7 @@
     ( Location
         { locFile = "test/examples/inductive.tex"
         , locLine = 3
-        , locColumn = 3
+        , locColumn = 1
         }
     )
     ( Marker "subseteq" )
@@ -16,7 +16,7 @@
             { pos = Location
                 { locFile = "test/examples/inductive.tex"
                 , locLine = 4
-                , locColumn = 4
+                , locColumn = 24
                 }
             , formula = FormulaChain
                 ( ChainBase
@@ -37,7 +37,7 @@
     ( Location
         { locFile = "test/examples/inductive.tex"
         , locLine = 7
-        , locColumn = 7
+        , locColumn = 1
         }
     )
     ( Marker "pow" )
@@ -61,7 +61,7 @@
     ( Location
         { locFile = "test/examples/inductive.tex"
         , locLine = 11
-        , locColumn = 11
+        , locColumn = 1
         }
     )
     ( Marker "cons" )
@@ -90,7 +90,7 @@
     ( Location
         { locFile = "test/examples/inductive.tex"
         , locLine = 15
-        , locColumn = 15
+        , locColumn = 1
         }
     )
     ( Marker "times" )
@@ -115,7 +115,7 @@
     ( Location
         { locFile = "test/examples/inductive.tex"
         , locLine = 19
-        , locColumn = 19
+        , locColumn = 1
         }
     )
     ( Marker "fld" )
@@ -139,7 +139,7 @@
     ( Location
         { locFile = "test/examples/inductive.tex"
         , locLine = 23
-        , locColumn = 23
+        , locColumn = 1
         }
     )
     ( Marker "preimg" )
@@ -168,7 +168,7 @@
     ( Location
         { locFile = "test/examples/inductive.tex"
         , locLine = 27
-        , locColumn = 27
+        , locColumn = 1
         }
     )
     ( Marker "lmao" )
@@ -177,7 +177,7 @@
             { pos = Location
                 { locFile = "test/examples/inductive.tex"
                 , locLine = 28
-                , locColumn = 28
+                , locColumn = 5
                 }
             , formula = FormulaChain
                 ( ChainBase
@@ -200,7 +200,7 @@
     ( Location
         { locFile = "test/examples/inductive.tex"
         , locLine = 31
-        , locColumn = 31
+        , locColumn = 1
         }
     )
     ( Marker "fin" )
@@ -324,7 +324,7 @@
     ( Location
         { locFile = "test/examples/inductive.tex"
         , locLine = 39
-        , locColumn = 39
+        , locColumn = 1
         }
     )
     ( Marker "fin_mono" )
@@ -351,7 +351,7 @@
                 { pos = Location
                     { locFile = "test/examples/inductive.tex"
                     , locLine = 41
-                    , locColumn = 41
+                    , locColumn = 13
                     }
                 , formula = FormulaChain
                     ( ChainBase
@@ -372,7 +372,7 @@
             { pos = Location
                 { locFile = "test/examples/inductive.tex"
                 , locLine = 42
-                , locColumn = 42
+                , locColumn = 10
                 }
             , formula = FormulaChain
                 ( ChainBase
@@ -409,7 +409,7 @@
     ( Location
         { locFile = "test/examples/inductive.tex"
         , locLine = 45
-        , locColumn = 45
+        , locColumn = 1
         }
     )
     ( Marker "tracl" )
@@ -587,7 +587,7 @@
     ( Location
         { locFile = "test/examples/inductive.tex"
         , locLine = 53
-        , locColumn = 53
+        , locColumn = 1
         }
     )
     ( Marker "quasirefltracl" )
@@ -786,7 +786,7 @@
     ( Location
         { locFile = "test/examples/inductive.tex"
         , locLine = 61
-        , locColumn = 61
+        , locColumn = 1
         }
     )
     ( Marker "refltracl" )
@@ -981,7 +981,7 @@
     ( Location
         { locFile = "test/examples/inductive.tex"
         , locLine = 69
-        , locColumn = 69
+        , locColumn = 1
         }
     )
     ( Marker "acc" )