diff options
Diffstat (limited to 'test/golden/prooffix/parsing.golden')
| -rw-r--r-- | test/golden/prooffix/parsing.golden | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/test/golden/prooffix/parsing.golden b/test/golden/prooffix/parsing.golden index 52a0b62..2d0daca 100644 --- a/test/golden/prooffix/parsing.golden +++ b/test/golden/prooffix/parsing.golden @@ -11,7 +11,7 @@ { pos = Location { locFile = "test/examples/prooffix.tex" , locLine = 2 - , locColumn = 2 + , locColumn = 5 } , quant = Universally , xs = NamedVar "x" :| [] @@ -21,7 +21,7 @@ { pos = Location { locFile = "test/examples/prooffix.tex" , locLine = 2 - , locColumn = 2 + , locColumn = 25 } , formula = FormulaChain ( ChainBase @@ -43,7 +43,7 @@ ( Location { locFile = "test/examples/prooffix.tex" , locLine = 4 - , locColumn = 4 + , locColumn = 1 } ) ( FixSymbolic @@ -58,14 +58,14 @@ ( Location { locFile = "test/examples/prooffix.tex" , locLine = 6 - , locColumn = 6 + , locColumn = 5 } ) Nothing ( StmtFormula { pos = Location { locFile = "test/examples/prooffix.tex" , locLine = 6 - , locColumn = 6 + , locColumn = 10 } , formula = FormulaChain ( ChainBase |