From 66c2ccb409bcd2155b0cbb41c4ee9ec3bbdf219c Mon Sep 17 00:00:00 2001
From: Miles Vella <673-vella@users.noreply.gitlab.cs.uni-duesseldorf.de>
Date: Wed, 12 Mar 2025 14:28:19 +0100
Subject: [PATCH] Add FREETYPES clause to unsupported constructs
---
src/main/java/de/tlc4b/analysis/UnsupportedConstructsFinder.java | 1 +
1 file changed, 1 insertion(+)
diff --git a/src/main/java/de/tlc4b/analysis/UnsupportedConstructsFinder.java b/src/main/java/de/tlc4b/analysis/UnsupportedConstructsFinder.java
index 1860cd3..188266a 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);
--
GitLab