fixup! Reword

Author: Joel Allred

doc/cprover-manual/jbmc-user-manual.md

@@ -15,7 +15,7 @@ us to prove or refute properties. These properties are either automatically
 generated (runtime errors), or provided by the user in the form of assertions.
 
 Using examples, the following section will guide you through the basic
-features of JBMC, and explore the most useful features.
+features of JBMC.
 
 
 \section jbmc-tutorial JBMC tutorial