Skip to content

Fetching the position of diproche errors #58

Description

@TimothyGillespie

Currently it only states the prolog intern line which cannot be verified. Should be traceable to the userinput.

Metadata

Metadata

Labels

No labels
No labels

Type

No type

Projects

No projects

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions