Commit 272d1f2

Daniel Kroening

committed

strengthen typing of goto_program2codet::convert_instruction

This enables the use of the correct APIs.

1 parent 3cac00d commit 272d1f2Copy full SHA for 272d1f2

2 files changed

+157

-155

lines changed

+157

-155

lines changed

Comments

(0)