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 - -```