Error location is not shown #21
Description
If Rodin finds an error using Rodin editor, the line is shown at the row "location". Using Camille editor, it says "unknown" instead.
{{ message }}
If Rodin finds an error using Rodin editor, the line is shown at the row "location". Using Camille editor, it says "unknown" instead.