re-run rewrites.md

unisonweb · Dec 9, 2024 · a1b49ed · a1b49ed
1 parent 995e8e4
commit a1b49ed
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/unison-src/transcripts-manual/rewrites.output.md b/unison-src/transcripts-manual/rewrites.output.md
@@ -81,7 +81,7 @@ rule1 f x =
     term x + 1 ==> Nat.increment x
     term a -> f a ==> f
 
-type Optional2 a = Some2 a | None2
+type Optional2 a = None2 | Some2 a
 
 rule2 x = @rewrite signature Optional ==> Optional2
 ```
@@ -111,7 +111,7 @@ rule1 f x =
     term x + 1 ==> Nat.increment x
     term a -> f a ==> f
 
-type Optional2 a = Some2 a | None2
+type Optional2 a = None2 | Some2 a
 
 rule2 x = @rewrite signature Optional ==> Optional2
 ```