C parser: Remove unused rule cprover_contract_frees_opt

tautschnig · tautschnig · commit 134ecd0b1a7a · 2022-10-08T09:43:19.000Z
This was introduced in 5982243 but does not seem to be used.
diff --git a/src/ansi-c/parser.y b/src/ansi-c/parser.y
@@ -3413,12 +3413,6 @@ cprover_contract_frees:
         }
         ;
 
-cprover_contract_frees_opt:
-        /* nothing */
-        { init($$); parser_stack($$).make_nil(); }
-        | cprover_contract_frees
-        ;
-
 cprover_function_contract_sequence:
           cprover_function_contract
         | cprover_function_contract_sequence cprover_function_contract

Original file line number	Diff line number	Diff line change
`@@ -3413,12 +3413,6 @@ cprover_contract_frees:`
`3413`	`3413`	`}`
`3414`	`3414`	`;`
`3415`	`3415`
`3416`		`-cprover_contract_frees_opt:`
`3417`		`- /* nothing */`
`3418`		`- { init($$); parser_stack($$).make_nil(); }`
`3419`		`- \| cprover_contract_frees`
`3420`		`- ;`
`3421`		`-`
`3422`	`3416`	`cprover_function_contract_sequence:`
`3423`	`3417`	`cprover_function_contract`
`3424`	`3418`	`\| cprover_function_contract_sequence cprover_function_contract`