Apply suggestions from code review

Co-authored-by: Ryan Scott <[email protected]>
GaloisInc · Aug 29, 2022 · b48dbc1 · b48dbc1
1 parent ad25333
commit b48dbc1
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/SAWScript/Interpreter.hs b/src/SAWScript/Interpreter.hs
@@ -3185,7 +3185,7 @@ primitives = Map.fromList
     (pureVal llvm_verify_x86_with_invariant)
     Experimental
     [ "An experimental variant of 'llvm_verify_x86'. This variant can prove some properties"
-    , "involving simple loops with the help of a user-provided loop invariant describes"
+    , "involving simple loops with the help of a user-provided loop invariant that describes"
     , "how the live variables in the loop evolve as the loop computes."
     ]