Merge pull request #1491 from andreast271/cbmc_parse_options_fix

Align options string with help function and options parser

Author: Daniel Kroening

src/cbmc/cbmc_parse_options.h

@@ -32,7 +32,7 @@ class optionst;
   "(no-simplify)(unwind):(unwindset):(slice-formula)(full-slice)" \
   "(debug-level):(no-propagation)(no-simplify-if)" \
   "(document-subgoals)(outfile):(test-preprocessor)" \
-  "D:I:(c89)(c99)(c11)(cpp89)(cpp99)(cpp11)" \
+  "D:I:(c89)(c99)(c11)(cpp98)(cpp03)(cpp11)" \
   "(object-bits):" \
   "(classpath):(cp):(main-class):" \
   "(depth):(partial-loops)(no-unwinding-assertions)(unwinding-assertions)" \