From aa0ef5eee27f1c3bb3bb3bae3bb54201cf1acf40 Mon Sep 17 00:00:00 2001 From: Mitchell Rosen Date: Wed, 6 Dec 2023 12:20:01 -0500 Subject: [PATCH] tweak transcript --- unison-src/transcripts/upgrade-with-old-alias.md | 1 + unison-src/transcripts/upgrade-with-old-alias.output.md | 5 +++++ 2 files changed, 6 insertions(+) diff --git a/unison-src/transcripts/upgrade-with-old-alias.md b/unison-src/transcripts/upgrade-with-old-alias.md index c251fd8d61..1b2af98103 100644 --- a/unison-src/transcripts/upgrade-with-old-alias.md +++ b/unison-src/transcripts/upgrade-with-old-alias.md @@ -15,4 +15,5 @@ mything = lib.old.foo + 100 myproject/main> update myproject/main> upgrade old new myproject/main> view mything +myproject/main> view bar ``` diff --git a/unison-src/transcripts/upgrade-with-old-alias.output.md b/unison-src/transcripts/upgrade-with-old-alias.output.md index b8e88a11a8..42ef72ff0b 100644 --- a/unison-src/transcripts/upgrade-with-old-alias.output.md +++ b/unison-src/transcripts/upgrade-with-old-alias.output.md @@ -38,4 +38,9 @@ myproject/main> view mything use Nat + foo + 100 +myproject/main> view bar + + bar : Nat + bar = 141 + ```