Remove blank line at end of block

tautschnig · tautschnig · commit 1dfd5cd641c9 · 2018-12-02T09:43:48.000Z
diff --git a/jbmc/src/java_bytecode/java_bytecode_parse_tree.h b/jbmc/src/java_bytecode/java_bytecode_parse_tree.h
@@ -301,7 +301,6 @@ struct java_bytecode_parse_treet
     }
 
     void output(std::ostream &out) const;
-
   };
 
   classt parsed_class;

Original file line number	Diff line number	Diff line change
`@@ -301,7 +301,6 @@ struct java_bytecode_parse_treet`
`301`	`301`	`}`
`302`	`302`
`303`	`303`	`void output(std::ostream &out) const;`
`304`		`-`
`305`	`304`	`};`
`306`	`305`
`307`	`306`	`classt parsed_class;`