goto-instrument/wmm: add missing argument#2417

tautschnig merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:vs-missing-argtautschnig/cbmc:vs-missing-argCopy head branch name to clipboard