Minor formatting fixes

Owen Jones · Owen Jones · commit bd088e8e4f8b · 2018-06-21T16:57:57.000+01:00
diff --git a/src/driver/sec_driver_parse_options.cpp b/src/driver/sec_driver_parse_options.cpp
@@ -215,12 +215,12 @@ int sec_driver_parse_optionst::doit()
     return CPROVER_EXIT_SUCCESS;
   }
 
-  if (cmdline.isset("do-not-use-precise-access-paths"))
+  if(cmdline.isset("do-not-use-precise-access-paths"))
   {
     local_value_sett::do_not_use_precise_access_paths = true;
   }
 
-  if (cmdline.isset("security-scanner"))
+  if(cmdline.isset("security-scanner"))
   {
     try
     {

Original file line number	Diff line number	Diff line change
`@@ -215,12 +215,12 @@ int sec_driver_parse_optionst::doit()`
`215`	`215`	`return CPROVER_EXIT_SUCCESS;`
`216`	`216`	`}`
`217`	`217`
`218`		`- if (cmdline.isset("do-not-use-precise-access-paths"))`
	`218`	`+ if(cmdline.isset("do-not-use-precise-access-paths"))`
`219`	`219`	`{`
`220`	`220`	`local_value_sett::do_not_use_precise_access_paths = true;`
`221`	`221`	`}`
`222`	`222`
`223`		`- if (cmdline.isset("security-scanner"))`
	`223`	`+ if(cmdline.isset("security-scanner"))`
`224`	`224`	`{`
`225`	`225`	`try`
`226`	`226`	`{`