Skip to content
Snippets Groups Projects
Commit 565d17ae authored by Manos Koukoutos's avatar Manos Koukoutos
Browse files

Just a typo

parent 210e5bc7
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 1 addition and 1 deletion
src/sphinx/options.rst
+ 1
− 1
View file @ 565d17ae
...@@ -42,7 +42,7 @@ These options are mutually exclusive. By default, ``--verify`` is chosen. ...@@ -42,7 +42,7 @@ These options are mutually exclusive. By default, ``--verify`` is chosen.
* ``--inferInv`` * ``--inferInv``
Infer invariants from (instrumented) the code (using Orb) Infer invariants from the (instrumented) code (using Orb)
* ``--instrument`` * ``--instrument``
......
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