Fetching the position of diproche errors #58
Description
Currently it only states the prolog intern line which cannot be verified. Should be traceable to the userinput.
Metadata
Metadata
Assignees
Labels
No labels
{{ message }}
Currently it only states the prolog intern line which cannot be verified. Should be traceable to the userinput.