Fix the parsing of a popular option.

martin · martin · commit 591a7a10c880 · 2018-11-16T12:06:30.000Z
diff --git a/src/goto-analyzer/goto_analyzer_parse_options.cpp b/src/goto-analyzer/goto_analyzer_parse_options.cpp
@@ -219,7 +219,7 @@ void goto_analyzer_parse_optionst::get_command_line_options(optionst &options)
     options.set_option("intervals", true);
     options.set_option("domain set", true);
   }
-  else if(cmdline.isset("(show-non-null)"))
+  else if(cmdline.isset("show-non-null"))
   {
     // For backwards compatibility
     options.set_option("show", true);

Original file line number	Diff line number	Diff line change
`@@ -219,7 +219,7 @@ void goto_analyzer_parse_optionst::get_command_line_options(optionst &options)`
`219`	`219`	`options.set_option("intervals", true);`
`220`	`220`	`options.set_option("domain set", true);`
`221`	`221`	`}`
`222`		`- else if(cmdline.isset("(show-non-null)"))`
	`222`	`+ else if(cmdline.isset("show-non-null"))`
`223`	`223`	`{`
`224`	`224`	`// For backwards compatibility`
`225`	`225`	`options.set_option("show", true);`