Use @thpani's suggestion on docstring

informalsystems · Aug 9, 2023 · 7d5aea6 · 7d5aea6
1 parent 5757f35
commit 7d5aea6
Showing 1 changed file with 3 additions and 5 deletions.
diff --git a/quint/src/ir/idRefresher.ts b/quint/src/ir/idRefresher.ts
@@ -22,11 +22,9 @@ import { QuintType } from './quintTypes'
 
 /**
  * Given a QuintDef, generates fresh IDs for all its components using the
- * provided IdGenerator. Returns a new QuintDef with the updated IDs. Also
- * updates the provided source map and analysis output with copies of the values
- * in each map (source map and the analysis output maps: types map, effects map
- * and modes map) from the old ids to the new ids, so the value in the map for
- * the new id is the same as it was for the old id.
+ * provided IdGenerator. Returns a new QuintDef with the updated IDs. Also extends
+ * the provided source map and analysis output, such that they contain the respective
+ * entries under both their old and new IDs.
  *
  * @param def - The QuintDef to update with fresh IDs.
  * @param idGenerator - The IdGenerator to use for generating fresh IDs.