FIX make parse_options catch cprover_exceptiont and remove dead code

hannes-steffenhagen-diffblue · hannes-steffenhagen-diffblue · commit 30119c5d967c · 2018-09-13T16:16:05.000+01:00
diff --git a/src/util/parse_options.cpp b/src/util/parse_options.cpp
@@ -71,12 +71,11 @@ int parse_options_baset::main()
 
     return doit();
   }
-  catch(invalid_user_input_exceptiont &e)
+  catch(const cprover_exceptiont &e)
   {
     std::cerr << e.what() << "\n";
     return CPROVER_EXIT_USAGE_ERROR;
   }
-  return CPROVER_EXIT_SUCCESS;
 }
 
 std::string

Original file line number	Diff line number	Diff line change
`@@ -71,12 +71,11 @@ int parse_options_baset::main()`
`71`	`71`
`72`	`72`	`return doit();`
`73`	`73`	`}`
`74`		`- catch(invalid_user_input_exceptiont &e)`
	`74`	`+ catch(const cprover_exceptiont &e)`
`75`	`75`	`{`
`76`	`76`	`std::cerr << e.what() << "\n";`
`77`	`77`	`return CPROVER_EXIT_USAGE_ERROR;`
`78`	`78`	`}`
`79`		`- return CPROVER_EXIT_SUCCESS;`
`80`	`79`	`}`
`81`	`80`
`82`	`81`	`std::string`