From 65c60861d327a08ab8aee3ab122bcebeac5b8e7e Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Sat, 12 Feb 2022 21:46:27 +0100
Subject: Update some comments

---
 tests/hashmap/Hashmap.Properties.fst | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/tests/hashmap/Hashmap.Properties.fst b/tests/hashmap/Hashmap.Properties.fst
index ea021a95..7d695c12 100644
--- a/tests/hashmap/Hashmap.Properties.fst
+++ b/tests/hashmap/Hashmap.Properties.fst
@@ -131,9 +131,9 @@ module InteractiveHelpers = FStar.InteractiveHelpers
 ///   extremely hard to debug.
 ///
 ///   1. See the comments for [hash_map_move_elements_fwd_back_lem_refin], which
-///   are believe are quite instructive: I rarely note down the process of finding
-///   a proof, but the comments for this one describe an experience which is very
-///   similar to experiences I had before.
+///   describe the various breakages I encountered, and the different attempts I
+///   made to fix them (the result is that it now works, but I don't know why, and
+///   there are still issues so it is maybe unstable)..
 ///
 ///   Also, I still don't understand why the proof currently works, and failed
 ///   before. One problem I encountered is that when trying to figure out why F*
-- 
cgit v1.2.3