From 2057a16ae8296f6e950d45fbd2c3f449e7fe07f0 Mon Sep 17 00:00:00 2001
From: Johannes Mey <johannes.mey@tu-dresden.de>
Date: Fri, 1 Feb 2019 15:35:41 +0100
Subject: [PATCH] ignore only linkage, not system

---
 .../java/de/tudresden/inf/st/mquat/eris/ErisMQuATBuilder.java | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/jastadd-mquat-eris/src/main/java/de/tudresden/inf/st/mquat/eris/ErisMQuATBuilder.java b/jastadd-mquat-eris/src/main/java/de/tudresden/inf/st/mquat/eris/ErisMQuATBuilder.java
index fc103a0..83eb36c 100644
--- a/jastadd-mquat-eris/src/main/java/de/tudresden/inf/st/mquat/eris/ErisMQuATBuilder.java
+++ b/jastadd-mquat-eris/src/main/java/de/tudresden/inf/st/mquat/eris/ErisMQuATBuilder.java
@@ -236,8 +236,8 @@ public class ErisMQuATBuilder {
       for (ERISContainer erisContainer : erisModel.getErisContainers()) {
         for (ERISAttribute attribute : erisContainer.getAttributeList()) {
 
-          // TODO check if system attributes really can be ignored
-          if (attribute.isSystem()) continue;
+          // ignore linkage attributes
+          if (attribute.isLinkage()) continue;
 
           // ignore attribute if all stats are zero
           ERISAttributeStatistics stats = attribute.getStatistics();
-- 
GitLab