diff options
| author | adelon <22380201+adelon@users.noreply.github.com> | 2025-12-16 17:10:31 +0100 |
|---|---|---|
| committer | adelon <22380201+adelon@users.noreply.github.com> | 2025-12-16 17:10:31 +0100 |
| commit | ed546f3ce3d7c4e5840387beb2d89c8da05378ea (patch) | |
| tree | 8eab7129b4eea05159af7e820b4631897299bce5 /test/golden/prooffix/encoding tasks.golden | |
| parent | 8e7d2c94d8449b8512fd6257534b4c593319b4ae (diff) | |
Add location info to implicit QED step
Diffstat (limited to 'test/golden/prooffix/encoding tasks.golden')
| -rw-r--r-- | test/golden/prooffix/encoding tasks.golden | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/golden/prooffix/encoding tasks.golden b/test/golden/prooffix/encoding tasks.golden index 0e35e38..744b121 100644 --- a/test/golden/prooffix/encoding tasks.golden +++ b/test/golden/prooffix/encoding tasks.golden @@ -1,4 +1,4 @@ fof(assumetest,conjecture,fx=fx,"test/examples/prooffix.tex 6:5"). ------------------ -fof(assumetest,conjecture,fx=fx,"test/examples/prooffix.tex 6:5"). +fof(assumetest,conjecture,fx=fx,"test/examples/prooffix.tex 7:1"). fof(assumetest1,axiom,fx=fx).
\ No newline at end of file |