Added by Iustin Pop about 15 years ago
Fix a wrong OP_ID added in r261
Reviewed-by: ultrotter
View differences