clang-format goto_convert_exceptions.cpp

Chris Ryder · chrisr-diffblue · commit eec235fe096a · 2019-01-14T16:34:39.000Z
diff --git a/src/goto-programs/goto_convert_exceptions.cpp b/src/goto-programs/goto_convert_exceptions.cpp
@@ -194,7 +194,7 @@ void goto_convertt::convert_CPROVER_throw(
       dest.add_instruction(ASSIGN);
 
     t_set_exception->source_location=code.source_location();
-    t_set_exception->code=code_assignt(exception_flag(mode), true_exprt());
+    t_set_exception->code = code_assignt(exception_flag(mode), true_exprt());
   }
 
   // do we catch locally?

Original file line number	Diff line number	Diff line change
`@@ -194,7 +194,7 @@ void goto_convertt::convert_CPROVER_throw(`
`194`	`194`	`dest.add_instruction(ASSIGN);`
`195`	`195`
`196`	`196`	`t_set_exception->source_location=code.source_location();`
`197`		`- t_set_exception->code=code_assignt(exception_flag(mode), true_exprt());`
	`197`	`+ t_set_exception->code = code_assignt(exception_flag(mode), true_exprt());`
`198`	`198`	`}`
`199`	`199`
`200`	`200`	`// do we catch locally?`