Update doc/cprover-manual/goto-analyzer.md

Co-authored-by: Peter Schrammel <[email protected]>

Author: martin-cs

doc/cprover-manual/goto-analyzer.md

@@ -181,7 +181,7 @@ will likely become the default at some point in the future.
 : This extends `--recursive-interprocedural` by performing a
 "modification aware" merge after function calls.  At the time of
 writing only `--vsd` supports the necessary differential reasoning.
-If you are using `--vsd` this is recommended as it is more accurate at
+If you are using `--vsd` this is recommended as it is more accurate 
 with little extra cost.