Fix typo which made goto-analyzer ignore --unwindset

chrisr-diffblue · chrisr-diffblue · commit 7f7d7c2862b4 · 2018-07-13T17:12:22.000+01:00
diff --git a/src/goto-analyzer/goto_analyzer_parse_options.cpp b/src/goto-analyzer/goto_analyzer_parse_options.cpp
@@ -156,7 +156,7 @@ void goto_analyzer_parse_optionst::get_command_line_options(optionst &options)
     options.set_option("functions-ignore", ignore);
     options.set_option("functions-full", full);
 
-    options.set_option("unwindset", cmdline.isset("--unwindset"));
+    options.set_option("unwindset", cmdline.isset("unwindset"));
   }
 
   // For backwards compatibility,

Original file line number	Diff line number	Diff line change
`@@ -156,7 +156,7 @@ void goto_analyzer_parse_optionst::get_command_line_options(optionst &options)`
`156`	`156`	`options.set_option("functions-ignore", ignore);`
`157`	`157`	`options.set_option("functions-full", full);`
`158`	`158`
`159`		`- options.set_option("unwindset", cmdline.isset("--unwindset"));`
	`159`	`+ options.set_option("unwindset", cmdline.isset("unwindset"));`
`160`	`160`	`}`
`161`	`161`
`162`	`162`	`// For backwards compatibility,`