Fix spacing

Author: hannes-steffenhagen-diffblue

src/cbmc/cbmc_parse_options.h

@@ -75,7 +75,7 @@ class optionst;
   "(property):(stop-on-fail)(trace)" \
   "(error-label):(verbosity):(no-library)" \
   "(nondet-static)" \
-  "(version)"        \
+  "(version)" \
   OPT_COVER \
   "(symex-coverage-report):" \
   "(mm):" \