Removed whitespace

Yakir Vizel · yvizel · commit d4d3835a24cf · 2025-02-24T15:24:44.000+02:00
diff --git a/src/cprover/cprover_parse_options.h b/src/cprover/cprover_parse_options.h
@@ -28,7 +28,6 @@ Author: Daniel Kroening, dkr@amazon.com
   "(large-step)"                                                               \
   "(verbose)"
 
-
 class cprover_parse_optionst
 {
 public:

Original file line number	Diff line number	Diff line change
`@@ -28,7 +28,6 @@ Author: Daniel Kroening, [email protected]`
`28`	`28`	`"(large-step)" \`
`29`	`29`	`"(verbose)"`
`30`	`30`
`31`		`-`
`32`	`31`	`class cprover_parse_optionst`
`33`	`32`	`{`
`34`	`33`	`public:`