From 565d17ae4d4618ee1523cb2e338506182861d155 Mon Sep 17 00:00:00 2001
From: Manos Koukoutos <emmanouil.koukoutos@epfl.ch>
Date: Tue, 13 Oct 2015 13:54:39 +0200
Subject: [PATCH] Just a typo

---
 src/sphinx/options.rst | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/sphinx/options.rst b/src/sphinx/options.rst
index 9a89e77a3..c5495f40a 100644
--- a/src/sphinx/options.rst
+++ b/src/sphinx/options.rst
@@ -42,7 +42,7 @@ These options are mutually exclusive. By default, ``--verify`` is chosen.
 
 * ``--inferInv`` 
 
-  Infer invariants from (instrumented) the code (using Orb)
+  Infer invariants from the (instrumented) code (using Orb)
 
 * ``--instrument``                
 
-- 
GitLab