diff --git a/src/main/java/de/hsrm/compiler/Klang/visitors/PrettyPrintVisitor.java b/src/main/java/de/hsrm/compiler/Klang/visitors/PrettyPrintVisitor.java index f1531b6..014feb1 100644 --- a/src/main/java/de/hsrm/compiler/Klang/visitors/PrettyPrintVisitor.java +++ b/src/main/java/de/hsrm/compiler/Klang/visitors/PrettyPrintVisitor.java @@ -440,7 +440,7 @@ public class PrettyPrintVisitor implements Visitor { @Override public Void visit(DestructorCall e) { - ex.write("destroy " + e.name); + ex.write("destroy " + e.name + ";"); return null; }