From fe47013deee831b95cc5d893585c61146f1fe6ce Mon Sep 17 00:00:00 2001
From: "Jeremy G. Siek" <jeremy.siek@gmail.com>
Date: Tue, 15 Oct 2024 10:24:20 -0400
Subject: [PATCH] experiment 2

---
 Reference.md | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/Reference.md b/Reference.md
index 83306f2..937dc3b 100644
--- a/Reference.md
+++ b/Reference.md
@@ -27,7 +27,8 @@ function operator +(Nat,Nat) -> Nat {
 
 Example:
 
-```<!--{.deduce #add_example}-->
+```
+<!-- {.deduce #add_example} -->
 assert 2 + 3 = 5
 ```