From 103569a5cd040c89f6ca59bc9dc88fc30b0a59e2 Mon Sep 17 00:00:00 2001 From: Chris Penner Date: Wed, 26 Jun 2024 12:04:02 -0700 Subject: [PATCH] Port update-type-add-new-record to projects --- unison-src/transcripts/update-type-add-new-record.md | 2 +- unison-src/transcripts/update-type-add-new-record.output.md | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/unison-src/transcripts/update-type-add-new-record.md b/unison-src/transcripts/update-type-add-new-record.md index 18abd8796..a7f82df0c 100644 --- a/unison-src/transcripts/update-type-add-new-record.md +++ b/unison-src/transcripts/update-type-add-new-record.md @@ -1,5 +1,5 @@ ```ucm:hide -scratch/main lib> builtins.merge +scratch/main> builtins.merge lib.builtins ``` ```unison diff --git a/unison-src/transcripts/update-type-add-new-record.output.md b/unison-src/transcripts/update-type-add-new-record.output.md index bc1fb4466..321ac28ec 100644 --- a/unison-src/transcripts/update-type-add-new-record.output.md +++ b/unison-src/transcripts/update-type-add-new-record.output.md @@ -28,6 +28,6 @@ scratch/main> update scratch/main> view Foo - type Foo = { bar : ##Nat } + type Foo = { bar : Nat } ```