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