Code

Fix error message location#363

Code

Merged

huynhtrankhanh merged 1 commit intorocq-prover:masterrocq-prover/vsrocq:masterfrom

4ever2:crlf-error4ever2/vscoq:crlf-errorCopy head branch name to clipboard

Feb 10, 2023

Commits

Commits on Feb 8, 2023

• Fix error location calculation

  Show description for 57b3b82
  

  4ever2

  and

  thery

  committed
  57b3b82

  Copy full SHA for 57b3b82