diff --git a/src/main/java/de/tlc4b/analysis/UnsupportedConstructsFinder.java b/src/main/java/de/tlc4b/analysis/UnsupportedConstructsFinder.java index 1860cd30b40c0e5ea2cf3eb012a5032fa82d18d2..188266a9bae09aeeb945437332aa40304b876a76 100644 --- a/src/main/java/de/tlc4b/analysis/UnsupportedConstructsFinder.java +++ b/src/main/java/de/tlc4b/analysis/UnsupportedConstructsFinder.java @@ -21,6 +21,7 @@ public class UnsupportedConstructsFinder extends DepthFirstAdapter { add(APromotesMachineClause.class); add(AIncludesMachineClause.class); add(AImportsMachineClause.class); + add(AFreetypesMachineClause.class); add(AWhileSubstitution.class); add(AVarSubstitution.class);