From f2e0f265660eda9774ef8ad123a8da1a678bf526 Mon Sep 17 00:00:00 2001
From: paulklint <Paul.Klint@cwi.nl>
Date: Mon, 4 Nov 2024 14:47:23 +0100
Subject: [PATCH] Renamed and flipped default value

---
 src/analysis/typepal/TModel.rsc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/analysis/typepal/TModel.rsc b/src/analysis/typepal/TModel.rsc
index e00caf1..b0a5c18 100644
--- a/src/analysis/typepal/TModel.rsc
+++ b/src/analysis/typepal/TModel.rsc
@@ -101,7 +101,7 @@ data TModel (
     map[str,value] store = (),
     map[loc, Define] definitions = (),
     map[loc,loc] logical2physical = (),
-    bool convertedToPhysical = true, // Are locations in physical format?
+    bool usesPhysicalLocs = false, // Are locations in physical format?
     TypePalConfig config = tconfig()
 )   = tmodel();