Update src/goto-analyzer/goto_analyzer_parse_options.h

Co-Authored-By: kroening <kroening@cs.ox.ac.uk>

Author: tautschnig

src/goto-analyzer/goto_analyzer_parse_options.h

@@ -145,7 +145,8 @@ class optionst;
   "(non-null)(show-non-null)" \
   "(constants)" \
   "(dependence-graph)" \
-  "(show)(verify)(simplify):(show-on-source)" \
+  "(show)(verify)(simplify):" \
+  "(show-on-source)" \
   "(location-sensitive)(concurrent)" \
   "(no-simplify-slicing)" \
 // clang-format on