#2 Type violation in declaration and use of func_tbl

[Michael Tautschnig]

Hi,

While building your package using our research compiler infrastructure we noticed the following inconsistency:

src/BipsFD/fd_bool_c.c declares static Bool (*func_tbl[NB_OF_OP + 2]) (); but then assigns Set_Not etc. as its values, which are of type

static Bool Set_Not(WamWord *exp, int result, WamWord *load_word);

As such, func_tbl should be declared as holding functions with those three arguments.

Best,
Michael