-
Alexandre Duret-Lutz authored
Fix declaration of bddproduced. * src/reorder.c (bddproduced): Declare a longint, to match the definition in kerner.c.
44aed5cd
To find the state of this project's repository at the time of any of these versions, check out the tags.