diff --git a/VEX/docs/irdefn.sxw b/VEX/docs/irdefn.sxw
index fbf13e582..476ba4f53 100644
Binary files a/VEX/docs/irdefn.sxw and b/VEX/docs/irdefn.sxw differ