Commit 7665be2b authored by Johannes Roith's avatar Johannes Roith
Browse files

Fix bug where CUP source breakpoints can't be removed.

parent a45e9e2f
......@@ -14,8 +14,12 @@ public class CupLineBreakpoint extends LineBreakpoint {
private IResource resource = null;
private int lineNumber = -1;
public int getLineNumber(){
public int getLineNumber() throws CoreException {
if (lineNumber != -1)
return lineNumber;
return super.getLineNumber();
public IResource getResource(){
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment