diff --git a/src/main/resources/patchfiles/SourcePosition.txt b/src/main/resources/patchfiles/SourcePosition.txt index 44291d26a5f2edfcf16491c9a8908117aab8219b..6521067286a3d32c1bcdddae287664fd7e81ea4e 100644 --- a/src/main/resources/patchfiles/SourcePosition.txt +++ b/src/main/resources/patchfiles/SourcePosition.txt @@ -31,4 +31,10 @@ public class SourcePosition implements Comparable<SourcePosition> { return pos-that.pos; } + @Override + public String toString() { + return "(" + line + "," + pos + ")"; + } + + }