remove warning about the book being rewritten

hacspec · May 14, 2024 · 1961804 · 1961804
1 parent f7e437b
commit 1961804
Showing 1 changed file with 0 additions and 6 deletions.
diff --git a/src/readme.md b/src/readme.md
@@ -12,9 +12,3 @@ standard library, to write succinct, executable, and verifiable specifications i
 Rust.
 These specifications can be translated into formal languages with hax.
 
-# ⚠️ Warning: this book is currently being rewritten! ⚠️ 
-
-hax is the successor of hacspec. You can find the previous book
-describing hacspec [here](/archive), but keep in mind most of the information
-there is outdated.
-