More transcript updates

dolio · dolio · commit b2b8dbc198fe · 2025-09-22T17:29:44.000-04:00
diff --git a/unison-src/transcripts/idempotent/update-type-delete-record-field.md b/unison-src/transcripts/idempotent/update-type-delete-record-field.md
@@ -100,7 +100,7 @@ and not in the temporary branch:
 ``` ucm
 scratch/update-main> ls
 
-  1. lib. (664 terms, 103 types)
+  1. lib. (665 terms, 103 types)
 ```
 
 so we can remove the unwanted definitions from the scratch file and `update` again to delete them:
