Don't over-stress tool-specific nature of source location table

modelica · Nov 30, 2022 · 2dca719 · 2dca719
1 parent 3f79c39
commit 2dca719
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/RationaleMCP/0031/source-locations.md b/RationaleMCP/0031/source-locations.md
@@ -54,7 +54,7 @@ In the future, there could be standardized contents for the `SourceLocations` th
 ### Design alternatives
 
 Alternatives include:
-- Just an integer to be used with a tool-specific table of source location details.
+- Just an integer to be used with a separate table of details provided by `SourceLocations`-annotation.
 - Predefined record to avoid need for tool-specific table. (Details to be designed).
 - Use `annotation(SourceLocation(…))` to avoid need for attachment operator.