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();