From ac27961dd800ff08ed39edaf654832e9438c442d Mon Sep 17 00:00:00 2001
From: hardroadcrush <130765493+hardroadcrush@users.noreply.github.com>
Date: Wed, 1 Apr 2026 21:59:43 -0900
Subject: [PATCH] Update sidenote-format-fact.html

corrected typo
---
 tutorials/online/sidenote-format-fact.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tutorials/online/sidenote-format-fact.html b/tutorials/online/sidenote-format-fact.html
index 219243f..62ed961 100644
--- a/tutorials/online/sidenote-format-fact.html
+++ b/tutorials/online/sidenote-format-fact.html
@@ -15,7 +15,7 @@ <h2>Syntax for <i>fact</i> statements</h2>
   }
 </pre></b>
 
-<p> Facts do not need to have names, and are never refered to by name.
+<p> Facts do not need to have names, and are never referred to by name.
     However, good names improve clarity tremendously. </p>
 
 <p> <i>A warning</i><b>:</b> When Alloy searches for examples, it