Change

NlightNFotis · NlightNFotis · commit 410dfaf4720f · 2018-09-20T11:54:47.000+01:00
diff --git a/src/goto-programs/goto_convert_exceptions.cpp b/src/goto-programs/goto_convert_exceptions.cpp
@@ -25,7 +25,6 @@ void goto_convertt::convert_msc_try_finally(
 
   goto_programt tmp;
   tmp.add_instruction(SKIP)->source_location=code.source_location();
-
   {
     // save 'leave' target
     leave_targett leave_target(targets);

Original file line number	Diff line number	Diff line change
`@@ -25,7 +25,6 @@ void goto_convertt::convert_msc_try_finally(`
`25`	`25`
`26`	`26`	`goto_programt tmp;`
`27`	`27`	`tmp.add_instruction(SKIP)->source_location=code.source_location();`
`28`		`-`
`29`	`28`	`{`
`30`	`29`	`// save 'leave' target`
`31`	`30`	`leave_targett leave_target(targets);`