change challenge number

model-checking · Aug 20, 2024 · 6a1311c · 6a1311c
1 parent 81b096a
commit 6a1311c
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 1 deletion.
diff --git a/doc/src/SUMMARY.md b/doc/src/SUMMARY.md
@@ -20,3 +20,4 @@
   - [Inductive data type](./challenges/0005-linked-list.md)
   - [Contracts for SmallSort](./challenges/0008-smallsort.md)
   - [Memory safety of String](./challenges/0010-string.md)
+  - [Memory Safety of Floats/Integers](./challenges/0011-floats-ints.md)
diff --git a/doc/src/challenges/0009-floats-ints.md → doc/src/challenges/0011-floats-ints.md b/doc/src/challenges/0009-floats-ints.md → doc/src/challenges/0011-floats-ints.md
@@ -1,4 +1,4 @@
-# Challenge 9: Safety of Floats and Integers
+# Challenge 11: Safety of Floats and Integers
 
 
 - **Status:** Open