Update doc/manual/merging.md

tweag · Sep 16, 2022 · 2c365e5 · 2c365e5
1 parent 46221f6
commit 2c365e5
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/doc/manual/merging.md b/doc/manual/merging.md
@@ -270,7 +270,7 @@ merged as specified in this document, which can mean failure if the values can't
 be meaningfully merged:
 
 ```text
-nickel> {foo | default = 1} & {foo = 2}
+nickel> {foo = 1} & {foo = 2}
 error: non mergeable terms
   ┌─ repl-input-1:1:8
   │