Remove unnecessary newline

smowton · smowton · commit 734dedffdc48 · 2018-10-23T10:24:10.000+01:00
To pacify clang-format. All hail clang-format.
diff --git a/jbmc/src/java_bytecode/remove_instanceof.cpp b/jbmc/src/java_bytecode/remove_instanceof.cpp
@@ -235,7 +235,6 @@ bool remove_instanceoft::lower_instanceof(goto_programt &goto_program)
   return true;
 }
 
-
 /// Replace an instanceof in the expression or guard of the passed instruction
 /// of the given function body with an explicit class-identifier test.
 /// \remarks Extra auxiliary variables may be introduced into symbol_table.

Original file line number	Diff line number	Diff line change
`@@ -235,7 +235,6 @@ bool remove_instanceoft::lower_instanceof(goto_programt &goto_program)`
`235`	`235`	`return true;`
`236`	`236`	`}`
`237`	`237`
`238`		`-`
`239`	`238`	`/// Replace an instanceof in the expression or guard of the passed instruction`
`240`	`239`	`/// of the given function body with an explicit class-identifier test.`
`241`	`240`	`/// \remarks Extra auxiliary variables may be introduced into symbol_table.`