Am Montag, 13. Mai 2022, finden Wartungsarbeiten am Gitlab-Server (Update auf neue Version statt). Der Dienst wird daher am Montag für einige Zeit nicht verfügbar sein.
On Monday, May 13th 2022, the Gitlab server will be updated. The service will therefore not be accessible for some time on Monday.

Commit 26179bbc authored by Praetorius, Simon's avatar Praetorius, Simon
Browse files

findElInfo modified to allow non-connected domains

parent c43bfa8c
......@@ -729,7 +729,7 @@ namespace AMDiS {
deque<MacroElement*>::iterator it;
bool found = false;
for (it = firstMacroElement(); it != endOfMacroElements(); it++) {
if (!macrosVisited.count(it->getIndex())) {
if (!macrosVisited.count((*it)->getIndex())) {
found = true;
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment