From 63befd53ba068921b5e2450964b6f8233dc28b67 Mon Sep 17 00:00:00 2001
From: paulklint <Paul.Klint@cwi.nl>
Date: Wed, 12 Jun 2024 12:55:08 +0200
Subject: [PATCH] Use local info to avoid calls to createLogicalLoc

---
 src/analysis/typepal/Collector.rsc | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/analysis/typepal/Collector.rsc b/src/analysis/typepal/Collector.rsc
index ac3b812..816635d 100644
--- a/src/analysis/typepal/Collector.rsc
+++ b/src/analysis/typepal/Collector.rsc
@@ -963,8 +963,9 @@ Collector newCollector(str modelName, map[str,Tree] namedTrees, TypePalConfig co
     
     map[loc,loc] buildLogical2physical(Defines defines){
         map[loc,loc] my_logical2physical = logical2physical;
+        map[loc,loc] my_physical2logical = invertUnique(logical2physical);
         for(Define def <- defines){
-            logicalLoc = config.createLogicalLoc(def, modelName, config.typepalPathConfig);
+            logicalLoc = my_physical2logical[def.defined] ? config.createLogicalLoc(def, modelName, config.typepalPathConfig);
             if(logicalLoc != def.defined){
                 if(my_logical2physical[logicalLoc]?){
                     if(my_logical2physical[logicalLoc] != def.defined){