From e0493dddd815f9e215b7faacab7fb22a5bfe14c8 Mon Sep 17 00:00:00 2001
From: "Jeremy G. Siek" <jeremy.siek@gmail.com>
Date: Mon, 18 Nov 2024 13:28:20 -0500
Subject: [PATCH] tweak

---
 doc/Reference.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/Reference.md b/doc/Reference.md
index 1a1013d..4407d7d 100644
--- a/doc/Reference.md
+++ b/doc/Reference.md
@@ -1163,7 +1163,7 @@ Instantiates a generic function or constructor, replaces its type
 parameters with the given type arguments.
 
 ```{.deduce^#instantiate_example}
-define empty_nat_list : List<Nat> = @empty<Nat>
+define empty_nat_list = @empty<Nat>
 ```
 
 ## Intersection