Fix one missed whitespace

TGWDB · TGWDB · commit 2085c91a2c6e · 2021-02-09T11:11:38.000Z
diff --git a/regression/cbmc/enum_is_in_range/enum_test4.c b/regression/cbmc/enum_is_in_range/enum_test4.c
@@ -16,7 +16,7 @@ int main()
   ev1 = first;
   ev2 = fifth;
   int i = 0;
-  while(i < 10) 
+  while(i < 10)
   {
     ev1++;
     assert(__CPROVER_enum_is_in_range(ev1));

Original file line number	Diff line number	Diff line change
`@@ -16,7 +16,7 @@ int main()`
`16`	`16`	`ev1 = first;`
`17`	`17`	`ev2 = fifth;`
`18`	`18`	`int i = 0;`
`19`		`- while(i < 10)`
	`19`	`+ while(i < 10)`
`20`	`20`	`{`
`21`	`21`	`ev1++;`
`22`	`22`	`assert(__CPROVER_enum_is_in_range(ev1));`