update

Aalok Thakkar · Aalok Thakkar · commit 9136a7379ff2 · 2021-06-24T20:56:42.000Z
diff --git a/src/ansi-c/parser.y b/src/ansi-c/parser.y
@@ -3286,7 +3286,6 @@ cprover_contract_assigns_opt:
         | cprover_contract_assigns
         ;
 
-
 cprover_function_contract_sequence:
           cprover_function_contract
         | cprover_function_contract_sequence cprover_function_contract

Original file line number	Diff line number	Diff line change
`@@ -3286,7 +3286,6 @@ cprover_contract_assigns_opt:`
`3286`	`3286`	`\| cprover_contract_assigns`
`3287`	`3287`	`;`
`3288`	`3288`
`3289`		`-`
`3290`	`3289`	`cprover_function_contract_sequence:`
`3291`	`3290`	`cprover_function_contract`
`3292`	`3291`	`\| cprover_function_contract_sequence cprover_function_contract`