From 3586b6d91b13fca7977081f63cf96e25aef1ebfe Mon Sep 17 00:00:00 2001
From: Johannes Mey <johannes.mey@tu-dresden.de>
Date: Thu, 28 Jun 2018 01:30:46 +0200
Subject: [PATCH] fix bug in helper attribute

---
 .../src/main/jastadd/TreeNavigation.jrag                        | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/trainbenchmark-tool-jastadd-specialized-base/src/main/jastadd/TreeNavigation.jrag b/trainbenchmark-tool-jastadd-specialized-base/src/main/jastadd/TreeNavigation.jrag
index 6bf8d58a0..461e1e8c7 100644
--- a/trainbenchmark-tool-jastadd-specialized-base/src/main/jastadd/TreeNavigation.jrag
+++ b/trainbenchmark-tool-jastadd-specialized-base/src/main/jastadd/TreeNavigation.jrag
@@ -135,7 +135,7 @@ aspect TreeNavigation {
     // update the values
     for (Route route : getRouteList()) {
       for (Sensor sensor : route.getRequiredSensorList()) {
-        routeMap.get(sensor).add(route);
+        routeMap.get(sensor.getId()).add(route);
       }
     }
 
-- 
GitLab