From 33efe9fc139c52816852aec7faf1233a8fe544b9 Mon Sep 17 00:00:00 2001
From: DikieDick <26772815+DikieDick@users.noreply.github.com>
Date: Thu, 9 Apr 2026 08:49:19 +0200
Subject: [PATCH] Fix typo in tutorial

---
 waterproof_tutorial.mv | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/waterproof_tutorial.mv b/waterproof_tutorial.mv
index e9128d9..67aae00 100644
--- a/waterproof_tutorial.mv
+++ b/waterproof_tutorial.mv
@@ -42,7 +42,7 @@ Qed.
 ```
 ### Try it yourself:
 
-**Note**: Note sure how to continue? You can always write the sentence `Help.` in your proof to ask for help. Please remove the sentence from your final proof.
+**Note**: Not sure how to continue? You can always write the sentence `Help.` in your proof to ask for help. Please remove the sentence from your final proof.
 ```coq
 Lemma exercise_reflexivity :
   3 = 3.