Skip to content

Commit d4d3835

Browse files
Yakir Vizelyvizel
authored andcommitted
Removed whitespace
1 parent 8df40d1 commit d4d3835

File tree

1 file changed

+0
-1
lines changed

1 file changed

+0
-1
lines changed

src/cprover/cprover_parse_options.h

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -28,7 +28,6 @@ Author: Daniel Kroening, [email protected]
2828
"(large-step)" \
2929
"(verbose)"
3030

31-
3231
class cprover_parse_optionst
3332
{
3433
public:

0 commit comments

Comments
 (0)