Permalink
Browse files

DataLayouter was calling the wrong super method

DataLayouter.beginIInd() was calling super.beginI() when it should
have been calling super.beginIInd().

Thanks @eprst!

Fix #1
  • Loading branch information...
io7m committed Sep 1, 2016
1 parent 8c4712c commit cf77f9051081cce230c3500ba6f4676d75d3daf5
Showing with 2 additions and 2 deletions.
  1. +2 −2 io7m-jpplib-core/src/main/java/de/uka/ilkd/pp/DataLayouter.java
@@ -297,13 +297,13 @@ public DataLayouter(Backend<Exc> back,int indentation) {
@Override
public DataLayouter<Exc> beginIInd() {
super.beginI();
super.beginIInd();
return this;
}
@Override
public DataLayouter<Exc> beginIInd(int indent) {
super.beginI(indent);
super.beginIInd(indent);
return this;
}

0 comments on commit cf77f90

Please sign in to comment.