From 1facd86d0422223499c69c9bf0090c5de17f3470 Mon Sep 17 00:00:00 2001 From: Travis Staton Date: Wed, 22 Nov 2023 12:11:44 -0500 Subject: [PATCH] remove load command from transcript --- unison-src/transcripts/fix4415.md | 4 ---- unison-src/transcripts/fix4415.output.md | 13 ------------- 2 files changed, 17 deletions(-) diff --git a/unison-src/transcripts/fix4415.md b/unison-src/transcripts/fix4415.md index 94bf79d2b..5db9b5351 100644 --- a/unison-src/transcripts/fix4415.md +++ b/unison-src/transcripts/fix4415.md @@ -3,7 +3,3 @@ unique type Foo = Foo unique type sub.Foo = ``` - -```ucm -.> load -``` diff --git a/unison-src/transcripts/fix4415.output.md b/unison-src/transcripts/fix4415.output.md index 79ebe6a2c..17df2efdf 100644 --- a/unison-src/transcripts/fix4415.output.md +++ b/unison-src/transcripts/fix4415.output.md @@ -16,16 +16,3 @@ unique type sub.Foo = unique type sub.Foo ``` -```ucm -.> load - - I found and typechecked these definitions in scratch.u. If you - do an `add` or `update`, here's how your codebase would - change: - - ⍟ These new definitions are ok to `add`: - - unique type Foo - unique type sub.Foo - -```