You must now add + to the format options to get the node number. Like in
[libfirm] / ir / ir / irvrfy_t.h
2005-05-13 Michael Beckadded missing include
2005-04-06 Michael Beckused new verify_node operation