![[Jenkins]](/jenkins/static/5c0124f8/images/svgs/logo.svg){kind=logo}
Summary
- Core: - Added an implementation for getSuperTypes().
| Change Type | Path in Repository | Path in Workspace |
|---|---|---|
| The file was modified | /trunk/Workspace/Core/src/main/java/de/fhdw/wtf/common/ast/type/TypeProxy.java | Core/src/main/java/de/fhdw/wtf/common/ast/type/TypeProxy.java |