doc: fixed typo

parent 6aa79d91
......@@ -709,7 +709,7 @@ As long as ``s`` is not empty and its head is not zero, it increments
.. code-block:: whyml
let search_loop (l: list int) : int =
let search_loop (l: list int) : int
ensures { ... same postcondition as in search_list ... }
= let i = ref 0 in
let s = ref l in
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment